The following pages link to (Q5082016):
Displaying 4 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)
- (Q3174662) (← links)
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification (Q3174685) (← links)
- Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification (Q6076872) (← links)