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

Author(s):  
Patricia Bouyer ◽  
Andrea Orlandini ◽  
Pierluigi San Pietro
Sign in / Sign up

Export Citation Format

Share Document