scholarly journals Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification

Author(s):  
Javier Esparza ◽  
Enrico Tronci
Sign in / Sign up

Export Citation Format

Share Document