%0 Conference Paper %1 702020 %A McMillan, Kenneth L. %B CHARME '99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods %C London, UK %D 1999 %I Springer-Verlag %K compositional infinitestate modelchecking verification %P 219--234 %T Verification of Infinite State Systems by Compositional Model Checking %U http://portal.acm.org/citation.cfm?id=702020 %@ 3-540-66559-5

@inproceedings{702020, added-at = {2010-01-25T22:25:28.000+0100}, address = {London, UK}, author = {McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/252441b68cbdbd4add34fcb6e8a3c9121/giuliano.losa}, booktitle = {CHARME '99: Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods}, description = {Verification of Infinite State Systems by Compositional Model Checking}, interhash = {5951c15effaf6d899e1fa833bfbfe77a}, intrahash = {52441b68cbdbd4add34fcb6e8a3c9121}, isbn = {3-540-66559-5}, keywords = {compositional infinitestate modelchecking verification}, pages = {219--234}, publisher = {Springer-Verlag}, timestamp = {2010-01-26T16:41:29.000+0100}, title = {Verification of Infinite State Systems by Compositional Model Checking}, url = {http://portal.acm.org/citation.cfm?id=702020}, year = 1999 }