History
1
an:05767064
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Proceedings first symposium on games, automata, logic, and formal verification. (English)
Comput. Res. Repos. 2010, Article No. 1006.1711 (2010).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX URL
Valid XHTML 1.0 Transitional Valid CSS!