Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 789 KB, PDF-document
| Original language | English |
|---|---|
| Title of host publication | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings |
| Publisher | Springer, Cham |
| Pages | 262-268 |
| Number of pages | 7 |
| ISBN (Electronic) | 978-3-319-33600-8 |
| ISBN (Print) | 978-3-319-33599-5 |
| DOIs | |
| Publication status | Published - 11 May 2016 |
| Event | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference - Linz, Austria Duration: 23 May 2016 → 27 May 2016 https://dl.acm.org/citation.cfm?id=2990689&picked=prox |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer, Cham |
| Volume | 9675 |
| ISSN (Print) | 0302-9743 |
| Conference | Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference |
|---|---|
| Abbreviated title | ABZ 2016 |
| Country | Austria |
| City | Linz |
| Period | 23/05/16 → 27/05/16 |
| Internet address |
23/05/16 → 27/05/16
Linz, AustriaEvent: Conference
ID: 41132671
