Journal article
Verifying Real-Time Systems using Explicit-time Description Methods
Authors
Wang H; MacCaull W
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 13, , pp. 67–78
Publisher
Open Publishing Association
DOI
10.4204/eptcs.13.6
ISSN
2075-2180