The following pages link to (Q3174662):
Displaying 2 items.
- Special issue: Games, Automata, logic, and formal verification (GandALF 2010). Selected papers based on the presentations at the 1st symposium, Minori, Itay, June 17--18, 2010 (Q2889248) (← links)
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification (Q3174685) (← links)