%0 Conference Paper %1 conf/facs2/Werf14 %A van der Werf, Jan Martijn E. M. %B FACS %D 2014 %E Lanese, Ivan %E Madelaine, Eric %I Springer %K dblp %P 49-67 %T Compositional Verification of Asynchronously Communicating Systems. %U http://dblp.uni-trier.de/db/conf/facs2/facs2014.html#Werf14 %V 8997 %@ 978-3-319-15316-2

@inproceedings{conf/facs2/Werf14, added-at = {2023-05-01T00:00:00.000+0200}, author = {van der Werf, Jan Martijn E. M.}, biburl = {https://www.bibsonomy.org/bibtex/2cdd263e9e7c76d78d3de90ab71a39af3/dblp}, booktitle = {FACS}, crossref = {conf/facs2/2014}, editor = {Lanese, Ivan and Madelaine, Eric}, ee = {https://doi.org/10.1007/978-3-319-15317-9_4}, interhash = {b5500abc929dd10e015f654bffe0db8e}, intrahash = {cdd263e9e7c76d78d3de90ab71a39af3}, isbn = {978-3-319-15316-2}, keywords = {dblp}, pages = {49-67}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:16:20.000+0200}, title = {Compositional Verification of Asynchronously Communicating Systems.}, url = {http://dblp.uni-trier.de/db/conf/facs2/facs2014.html#Werf14}, volume = 8997, year = 2014 }