%0 Conference Paper %1 DBLP:conf/tacas/ClarkeTV08 %A Clarke, Edmund M. %A Talupur, Muralidhar %A Veith, Helmut %B Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 %D 2008 %E Ramakrishnan, C. R. %E Rehof, Jakob %I Springer %K abstraction bakery modelchecking parameterized reduction verification %P 33--47 %T Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems %U http://dx.doi.org/10.1007/978-3-540-78800-3_4 %V 4963 %@ 978-3-540-78799-0

@inproceedings{DBLP:conf/tacas/ClarkeTV08, added-at = {2010-01-06T17:20:01.000+0100}, author = {Clarke, Edmund M. and Talupur, Muralidhar and Veith, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/21c40e2c25b69339c92008b23981f962e/giuliano.losa}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008}, description = {Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems}, editor = {Ramakrishnan, C. R. and Rehof, Jakob}, interhash = {63815a13ae5388dd1920605aa9eb06e3}, intrahash = {1c40e2c25b69339c92008b23981f962e}, isbn = {978-3-540-78799-0}, keywords = {abstraction bakery modelchecking parameterized reduction verification}, month = {April}, pages = {33--47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2010-01-11T11:20:10.000+0100}, title = {Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems}, url = {http://dx.doi.org/10.1007/978-3-540-78800-3_4}, volume = 4963, year = 2008 }