R | |
---|---|
[RS99] | Jean-François Raskin and
Pierre-Yves Schobbens.
The Logic of Event-Clocks: Decidability, Complexity
and Expressiveness.
Journal of Automata, Languages and Combinatorics 4(3):247-286. 1999.
|
Search
Displayed 1 resultList of authors
- 1
- 1