Symbolic Model Checking for Real-time Systems (1992)

Cached

Download Links

by Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine
Venue:Information and Computation
Citations:470 - 47 self

Document Versions

Symbolic Model Checking for Real-time Systems –Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine — 1992 — Information and Computation
Symbolic Model Checking for Real-time Systems –Thomas A. Henzinger , Xavier Nicollin , Joseph Sifakis , Sergio Yovine — 1992