%0 Conference Paper %1 conf/spin/GarlanKK03 %A Garlan, David %A Khersonsky, Serge %A Kim, Jung Soo %B SPIN %D 2003 %E Ball, Thomas %E Rajamani, Sriram K. %I Springer %K dblp %P 166-180 %T Model Checking Publish-Subscribe Systems. %U http://dblp.uni-trier.de/db/conf/spin/spin2003.html#GarlanKK03 %V 2648 %@ 3-540-40117-2

@inproceedings{conf/spin/GarlanKK03, added-at = {2017-05-17T00:00:00.000+0200}, author = {Garlan, David and Khersonsky, Serge and Kim, Jung Soo}, biburl = {https://www.bibsonomy.org/bibtex/2a5928fe6db0de950e35c3b3be1b437e7/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2003}, editor = {Ball, Thomas and Rajamani, Sriram K.}, ee = {https://doi.org/10.1007/3-540-44829-2_11}, interhash = {a2c3ffeec9efd9ff71e7448fee12f265}, intrahash = {a5928fe6db0de950e35c3b3be1b437e7}, isbn = {3-540-40117-2}, keywords = {dblp}, pages = {166-180}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-07-15T07:10:34.000+0200}, title = {Model Checking Publish-Subscribe Systems.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2003.html#GarlanKK03}, volume = 2648, year = 2003 }