DBLP Record 'conf/async/CantEO96'

BibTeX

@inproceedings{DBLP:conf/async/CantEO96,
  author    = {Anthony Cant and
               Katherine A. Eastaughffe and
               Maris A. Ozols},
  title     = {A Tool for Practical Reasoning about State Machine Designs},
  booktitle = {ASYNC},
  year      = {1996},
  pages     = {16-26},
  ee        = {http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350016abs.htm},
  crossref  = {DBLP:conf/async/1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/async/1996,
  title     = {2nd International Symposium on Advanced Research in Asynchronous
               Circuits and Systems (ASYNC '96),  March 18-21, 1996, Aizu-Wakamatsu,
               Fukushima, JAPAN},
  booktitle = {ASYNC},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}