%0 Conference Paper %1 681369 %A Holzmann, Gerard J. %A Peled, Doron %B Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII %C London, UK, UK %D 1995 %I Chapman & Hall, Ltd. %K modelchecking partialorder %P 197--211 %T An improvement in formal verification %U http://portal.acm.org/citation.cfm?id=681369 %@ 0-412-64450-9

@inproceedings{681369, added-at = {2010-01-26T21:30:12.000+0100}, address = {London, UK, UK}, author = {Holzmann, Gerard J. and Peled, Doron}, biburl = {https://www.bibsonomy.org/bibtex/22213e6da3786acbc160bc7a1dd2b54e8/giuliano.losa}, booktitle = {Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII}, description = {An improvement in formal verification}, interhash = {bd00fd15a7d6731c2119936f699779a6}, intrahash = {2213e6da3786acbc160bc7a1dd2b54e8}, isbn = {0-412-64450-9}, keywords = {modelchecking partialorder}, pages = {197--211}, publisher = {Chapman \& Hall, Ltd.}, timestamp = {2010-01-26T21:30:13.000+0100}, title = {An improvement in formal verification}, url = {http://portal.acm.org/citation.cfm?id=681369}, year = 1995 }