Symbolic Model Checking for Real-time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Browse the full LICS paper archive.