%0 Conference Paper %1 conf/sas/CleavelandIY95 %A Cleaveland, Rance %A Iyer, S. Purushothaman %A Yankelevich, Daniel %B SAS %D 1995 %E Mycroft, Alan %I Springer %K dblp %P 51-63 %T Optimality in Abstractions of Model Checking %U http://dblp.uni-trier.de/db/conf/sas/sas95.html#CleavelandIY95 %V 983 %@ 3-540-60360-3

@inproceedings{conf/sas/CleavelandIY95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Cleaveland, Rance and Iyer, S. Purushothaman and Yankelevich, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ea3c68addacd1bebd1565c993f6f8080/dblp}, booktitle = {SAS}, crossref = {conf/sas/95}, editor = {Mycroft, Alan}, ee = {https://doi.org/10.1007/3-540-60360-3_32}, interhash = {8b124d12aa6817792f2334f9c236e5c4}, intrahash = {ea3c68addacd1bebd1565c993f6f8080}, isbn = {3-540-60360-3}, keywords = {dblp}, pages = {51-63}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:58:03.000+0200}, title = {Optimality in Abstractions of Model Checking}, url = {http://dblp.uni-trier.de/db/conf/sas/sas95.html#CleavelandIY95}, volume = 983, year = 1995 }