%0 Conference Paper %1 conf/charme/McMillan99 %A McMillan, Kenneth L. %B CHARME %D 1999 %E Pierre, Laurence %E Kropf, Thomas %I Springer %K dblp %P 219-234 %T Verification of Infinite State Systems by Compositional Model Checking. %U http://dblp.uni-trier.de/db/conf/charme/charme1999.html#McMillan99 %V 1703 %@ 3-540-66559-5

@inproceedings{conf/charme/McMillan99, added-at = {2017-05-21T00:00:00.000+0200}, author = {McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/23c31ff7921a13631096c8486c19dafbe/dblp}, booktitle = {CHARME}, crossref = {conf/charme/1999}, editor = {Pierre, Laurence and Kropf, Thomas}, ee = {https://doi.org/10.1007/3-540-48153-2_17}, interhash = {5951c15effaf6d899e1fa833bfbfe77a}, intrahash = {3c31ff7921a13631096c8486c19dafbe}, isbn = {3-540-66559-5}, keywords = {dblp}, pages = {219-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:34.000+0200}, title = {Verification of Infinite State Systems by Compositional Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/charme/charme1999.html#McMillan99}, volume = 1703, year = 1999 }