UM

Browse/Search Results:  1-1 of 1 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
QRDChecker: A model checking tool for QRDC Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 3,Page: 355-364
Authors:  Pei Y.;  Xu Q.-W.;  Li X.-D.;  Zheng G.-L.
Favorite  |  View/Download:3/0  |  Submit date:2019/04/04
Finitary property  Interval temporal logic  Model checking  Reactive system