Pages that link to "Item:Q2889248"
From MaRDI portal
The following pages link to 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):
Displaying 3 items.
- Special issue: Selected papers based on the presentations at the 3rd workshop on games for logic and programming languages, GaLoP, Budapest, Hungary, April 5--6, 2008 (Q553336) (← links)
- (Q3174662) (← links)
- Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification (Q3174685) (← links)