| Original language | English |
|---|---|
| Title of host publication | Proc. International Workshop on Real-time and Hybrid Systems |
| Subtitle of host publication | HART'97 |
| Publication status | Published - 1997 |
Event clock logic : a decidable real-time logic
Jean-Francois Raskin, Pierre-Yves Schobbens
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution