Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 432 KB, PDF document
Original language | English |
---|---|
Title of host publication | FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings |
Publisher | Springer, Cham |
Pages | 326-343 |
Number of pages | 18 |
ISBN (Electronic) | 978-3-319-48989-6 |
ISBN (Print) | 978-3-319-48988-9 |
DOIs | |
Publication status | Published - 8 Nov 2016 |
Event | 21st International Symposium on Formal Methods - Limassol, Cyprus Duration: 7 Nov 2016 → 11 Nov 2016 http://fm2016.cs.ucy.ac.cy/ |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer, Cham |
Volume | 9995 |
ISSN (Print) | 0302-9743 |
Conference | 21st International Symposium on Formal Methods |
---|---|
Abbreviated title | FM 2016 |
Country | Cyprus |
City | Limassol |
Period | 7/11/16 → 11/11/16 |
Internet address |
ID: 41132901