%0 Conference Paper %1 conf/amast/PavlovicMW06 %A Pavlovic, Dusko %A Mislove, Michael W. %A Worrell, James %B AMAST %D 2006 %E Johnson, Michael %E Vene, Varmo %I Springer %K dblp %P 308-322 %T Testing Semantics: Connecting Processes and Process Logics. %U http://dblp.uni-trier.de/db/conf/amast/amast2006.html#PavlovicMW06 %V 4019 %@ 3-540-35633-9

@inproceedings{conf/amast/PavlovicMW06, added-at = {2022-12-07T00:00:00.000+0100}, author = {Pavlovic, Dusko and Mislove, Michael W. and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/2fbb19a22963d9da864a25dea69c7e594/dblp}, booktitle = {AMAST}, crossref = {conf/amast/2006}, editor = {Johnson, Michael and Vene, Varmo}, ee = {https://doi.org/10.1007/11784180_24}, interhash = {88ef5d2fc466fb25239ee30651a57694}, intrahash = {fbb19a22963d9da864a25dea69c7e594}, isbn = {3-540-35633-9}, keywords = {dblp}, pages = {308-322}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:11:21.000+0200}, title = {Testing Semantics: Connecting Processes and Process Logics.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2006.html#PavlovicMW06}, volume = 4019, year = 2006 }