Found 6 Documents (Results 1–6)
An automata-theoretic approach to constraint LTL. (English) Zbl 1113.03015
Reviewer: Valentin F. Goranko (Johannesburg)
Filter Results by …
all
top 5
Author
- Demri, Stéphane P. (5)
- Aranda-López, Gabriel (1)
- D’Souza, Deepak (1)
- Gascon, Régis (1)
- Lazić, Ranko (1)
- Nieva, Susana (1)
- Nowak, David E. (1)
- Sáenz-Pérez, Fernando (1)
- Sánchez-Hernández, Jaime (1)