UM

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