%0 Conference Paper %1 conf/concur/AlurAHM99 %A Alur, Rajeev %A de Alfaro, Luca %A Henzinger, Thomas A. %A Mang, Freddy Y. C. %B CONCUR %D 1999 %E Baeten, Jos C. M. %E Mauw, Sjouke %I Springer %K dblp %P 82-97 %T Automating Modular Verification. %U http://dblp.uni-trier.de/db/conf/concur/concur1999.html#AlurAHM99 %V 1664 %@ 3-540-66425-4

@inproceedings{conf/concur/AlurAHM99, added-at = {2017-05-23T00:00:00.000+0200}, author = {Alur, Rajeev and de Alfaro, Luca and Henzinger, Thomas A. and Mang, Freddy Y. C.}, biburl = {https://www.bibsonomy.org/bibtex/28a1b54376a353892a5e083e7eb1f8145/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1999}, editor = {Baeten, Jos C. M. and Mauw, Sjouke}, ee = {https://doi.org/10.1007/3-540-48320-9_8}, interhash = {b39264db54fcb4992ff87c89984f8f51}, intrahash = {8a1b54376a353892a5e083e7eb1f8145}, isbn = {3-540-66425-4}, keywords = {dblp}, pages = {82-97}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:45.000+0200}, title = {Automating Modular Verification.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1999.html#AlurAHM99}, volume = 1664, year = 1999 }