Publication
(All)



Results 1-1 of 1 (Search time: 0.018 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12004Formal Verification of Timed Systems: A Survey and PerspectiveFalk, H.F. Wang.; Falk, H.; FARN WANG Proceedings of the IEEE. 6652