Searching for "State Clock Logic A Decidable Real-Time Logic." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
State Clock Logic: a Decidable Real-Time Logic
- …State Clock Logic: a Decidable Real-Time Logic ? Jean-Fran��cois Raskin and Pierre-Yves Schobbens…
- Cited by 26 (5 self) – Add To MetaCart
Showing 1 through 1.
