Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 790 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