Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Original language | English |
---|
Title of host publication | Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings |
---|
Editors | Armin Biere, Roderick Bloem |
---|
Publisher | Springer International Publishing |
---|
Pages | 391-406 |
---|
Number of pages | 16 |
---|
ISBN (Electronic) | 978-3-319-08867-9 |
---|
ISBN (Print) | 978-3-319-08866-2 |
---|
DOIs | |
---|
Publication status | Published - 2014 |
---|
Publication type | A4 Article in a conference publication |
---|
Event | Computer Aided Verification - Duration: 1 Jan 2014 → … |
---|
Name | Lecture Notes in Computer Science |
---|
Volume | 8559 |
---|
ISSN (Print) | 0302-9743 |
---|
Conference | Computer Aided Verification |
---|
Period | 1/01/14 → … |
---|