%0 Generic %C Berlin ; %D %E Gurevich, Yuri. %I Springer, %J Lecture notes in computer science ; %@ 3540679596 (softcover : alk. paper) %T Abstract state machines theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / %U https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2F3-540-44518-8 %U https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-67959-2