| langue originale | Anglais |
|---|---|
| titre | Proc. International Workshop on Real-time and Hybrid Systems |
| Sous-titre | HART'97 |
| Etat de la publication | Publié - 1997 |
Event clock logic : a decidable real-time logic
Jean-Francois Raskin, Pierre-Yves Schobbens
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque