HaywoodD96'

@inproceedings{DBLP:conf/async/HaywoodD96,
  author    = {Elizabeth Haywood and
               Philip W. Dart},
  title     = {Analysis of Software System Requirements Models},
  booktitle = {ASYNC},
  year      = {1996},
  pages     = {131-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.1996.534130},
  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}
}