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:505 - 49 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