DBLP Record 'conf/async/ZucconiRRS96'

BibTeX

@inproceedings{DBLP:conf/async/ZucconiRRS96,
  author    = {Lin Zucconi and
               Greg Royle and
               Karl Reed and
               John Staples},
  title     = {Do Formal Methods Really Work?},
  booktitle = {ASYNC},
  year      = {1996},
  pages     = {66-},
  ee        = {http://csdl.computer.org/comp/proceedings/aswec/1996/7635/00/76350066abs.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}
}