Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist. Memory Efficient Data Structures for Explicit Verification of Timed Systems. In Julia M. Badger, Kristin Yvonne Rozier, editors, NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings. Volume 8430 of Lecture Notes in Computer Science, pages 307-312, Springer, 2014. [doi]
Abstract is missing.