Verifying Asynchronous Interactions via Communicating Session Automata. / Lange, Julien; Yoshida, Nobuko.
Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. ed. / Isil Dillig; Serdar Tasiran. Springer Verlag, 2019. p. 97-117 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11561 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Published
| Original language | English |
|---|---|
| Title of host publication | Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings |
| Editors | Isil Dillig, Serdar Tasiran |
| Publisher | Springer Verlag |
| Pages | 97-117 |
| Number of pages | 21 |
| ISBN (Electronic) | 978-3-030-25540-4 |
| ISBN (Print) | 978-3-030-25539-8 |
| DOIs | |
| Publication status | Published - 12 Jul 2019 |
| Event | 31st International Conference on Computer Aided Verification, CAV 2019 - New York City, United States Duration: 15 Jul 2019 → 18 Jul 2019 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 11561 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 31st International Conference on Computer Aided Verification, CAV 2019 |
|---|---|
| Country | United States |
| City | New York City |
| Period | 15/07/19 → 18/07/19 |
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
ID: 39128653