Please fill in your query. A complete syntax description you will find on the General Help page.
Global and local invariants in transition systems. (English)
Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 510-522 (1982).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX
Valid XHTML 1.0 Transitional Valid CSS!