Searching for "Fluent temporal logic for discrete-time event-based models." – sorted by Relevance.
-
Fluent temporal logic for discrete-time in event-based models
- Fluent Temporal Logic for Discrete-Time Event-Based Models Emmanuel Letier Jeff Kramer, Jeff Magee
- Cited by 3 (1 self) – Add To MetaCart

