| Title: |
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions |
| Article URLs: |
|
| Alternative Article URLs: |
|
| Authors: |
Henri Hansen |
-
Tampere University of Technology, Department of Mathematics
|
| Shang-Wei Lin |
-
National University of Singapore, Temasek Laboratories
|
| Yang Liu |
-
Nanyang Technological University, School of Computer Engineering
|
| Truong Khanh Nguyen |
-
National University of Singapore
|
| Jun Sun |
-
Singapore University of Technology and Design
|
| Sharing: |
Unknown
|
| Verification: |
Authors have
not verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/cav/HansenLLN014
|
| Author Comments: |
|