An improvement in formal verification. Holzmann, G. J. & Peled, D. A. In Hogrefe, D. & Leue, S., editors, FORTE, volume 6, of IFIP Conference Proceedings, pages 197-211, 1994. Chapman & Hall.
An improvement in formal verification. [link]Paper  bibtex   
@inproceedings{conf/forte/HolzmannP94,
  added-at = {2016-02-12T00:00:00.000+0100},
  author = {Holzmann, Gerard J. and Peled, Doron A.},
  biburl = {http://www.bibsonomy.org/bibtex/29254e380546de255f7f43f7ac75a84e0/dblp},
  booktitle = {FORTE},
  crossref = {conf/forte/1994},
  editor = {Hogrefe, Dieter and Leue, Stefan},
  interhash = {fff4ce983b3debc568b8a19dfe8037dd},
  intrahash = {9254e380546de255f7f43f7ac75a84e0},
  isbn = {0-412-64450-9},
  keywords = {dblp},
  pages = {197-211},
  publisher = {Chapman & Hall},
  series = {IFIP Conference Proceedings},
  timestamp = {2016-02-13T11:48:08.000+0100},
  title = {An improvement in formal verification.},
  url = {http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94},
  volume = 6,
  year = 1994
}

Downloads: 0