DMCA

An Efficient State Space Generation for the Analysis of Real-time Systems (1996)

Cached

Download Links

by Inhye Kang , Insup Lee , Young Si Kim
Venue:In Proc. of Int. Symposium on Software Testing and Analysis
Citations:22 - 2 self