%0 Conference Paper %1 conf/ifm/OortwijnH19 %A Oortwijn, Wytse %A Huisman, Marieke %B IFM %D 2019 %E Ahrendt, Wolfgang %E Tarifa, Silvia Lizeth Tapia %I Springer %K dblp %P 399-417 %T Practical Abstractions for Automated Verification of Message Passing Concurrency. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#OortwijnH19 %V 11918 %@ 978-3-030-34968-4

@inproceedings{conf/ifm/OortwijnH19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Oortwijn, Wytse and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/2a0f3cf47e878b26038473a62f40ae84a/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2019}, editor = {Ahrendt, Wolfgang and Tarifa, Silvia Lizeth Tapia}, ee = {https://doi.org/10.1007/978-3-030-34968-4_22}, interhash = {fac2ef2f4e950199338a23db4d8fa4fe}, intrahash = {a0f3cf47e878b26038473a62f40ae84a}, isbn = {978-3-030-34968-4}, keywords = {dblp}, pages = {399-417}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:33:06.000+0200}, title = {Practical Abstractions for Automated Verification of Message Passing Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2019.html#OortwijnH19}, volume = 11918, year = 2019 }