Publication
(All)



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

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12005Symbolic Verification of Distributed Real-Time Systems with Complex SynchronizationsF. Wang; FARN WANG 7'th ICFEM (International Conference on Formal Engineering Methods) 10