Journal article
An Efficient Explicit-time Description Method for Timed Model Checking
Authors
Wang H; MacCaull W
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 14, , pp. 77–91
Publisher
Open Publishing Association
DOI
10.4204/eptcs.14.6
ISSN
2075-2180