%0 Conference Paper %1 conf/forte/HolzmannP94 %A Holzmann, Gerard J. %A Peled, Doron A. %B FORTE %D 1994 %E Hogrefe, Dieter %E Leue, Stefan %I Chapman & Hall %K dblp %P 197-211 %T An improvement in formal verification. %U http://dblp.uni-trier.de/db/conf/forte/forte1994.html#HolzmannP94 %V 6 %@ 0-412-64450-9

@inproceedings{conf/forte/HolzmannP94, added-at = {2016-02-12T00:00:00.000+0100}, author = {Holzmann, Gerard J. and Peled, Doron A.}, biburl = {https://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 }