@Inproceedings{EPTCS14.6, author = {Wang, Hao and MacCaull, Wendy}, year = {2009}, title = {An Efficient Explicit-time Description Method for Timed Model Checking}, editor = {Brim, Lubos and van de Pol, Jaco}, booktitle = {{\rm Proceedings 8th International Workshop on} Parallel and Distributed Methods in verifiCation, {\rm Eindhoven, The Netherlands, 4th November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {14}, publisher = {Open Publishing Association}, pages = {77-91}, doi = {10.4204/EPTCS.14.6}, }