2000•Springer eBooksRequires access
Abstract state machines : theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Yuri Gurevich
Open publisher page 3 citations
Abstract
This record does not include an abstract. Use the full-text link above if available.