Searching for "On Model Checking for Real-Time Properties with Durations" – sorted by Relevance.
2 documents found, showing 1 through 2.
-
On Model Checking for Real-Time Properties with Durations
- …On Model Checking for Real-Time Properties with Durations Ahmed Bouajjani yx Rachid Echahed zx…
- Cited by 17 (3 self) – Add To MetaCart
-
Association for Computing Machinery-SIGACT Association for Symbolic Logic European Association for Theoretical Computer Science
- ….......................................................................................136 I. Walukiewicz On Model Checking for Real-Time Properties with Durations…
- Add To MetaCart
Showing 1 through 2.
