Found 2 Documents (Results 1–2)
Timed context-free temporal logics. (English) Zbl 1528.68212
Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 235-249 (2018).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Bozzelli, Laura (2)
- Murano, Aniello (2)
- Peron, Adriano (2)