APA Citation

Gurevich, Y., Kutter, P. W., Odersky, M., & Thiele, L. (2000). Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (1st ed. 2000.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Gurevich, Yuri, Philipp W. Kutter, Martin Odersky, and Lothar Thiele. Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings. 1st ed. 2000. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000.

MLA Citation

Gurevich, Yuri, Philipp W. Kutter, Martin Odersky, and Lothar Thiele. Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings. 1st ed. 2000. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000.