%0 Conference Paper %1 conf/cav/LangeY19 %A Lange, Julien %A Yoshida, Nobuko %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 97-117 %T Verifying Asynchronous Interactions via Communicating Session Automata. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#LangeY19 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/LangeY19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lange, Julien and Yoshida, Nobuko}, biburl = {https://www.bibsonomy.org/bibtex/2afffda9897d2fdf4855ff037a4234823/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_6}, interhash = {408a6c6b2fcb1423a6b3c2e72401041b}, intrahash = {afffda9897d2fdf4855ff037a4234823}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {97-117}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:16:14.000+0200}, title = {Verifying Asynchronous Interactions via Communicating Session Automata.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#LangeY19}, volume = 11561, year = 2019 }