UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-1 of 1 Help

Filters            
Selected(0)Clear Items/Page:    Sort:
Checking interval based properties for reactive systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Venice, Italy, 1 11, 2004 - 1 13, 2004
Authors:  Yu, Pei;  Qiwen, Xu
Favorite  |  View/Download:5/0  |  Submit date:2018/11/06