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 → … |
|---|
