DMCA

Three Approximation Techniques for ASTRAL Symbolic Model Checking of Infinite State Real-time Systems (2000)

Cached

Download Links

by Zhe Dang , Richard A. Kemmerer
Venue:IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
Citations:4 - 3 self