|
@proceedings{GKOT00, author = {Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele}, title = {International Workshop on Abstract State Machines, Theory and Applications (ASM 2000)}, address = {Monte Verita, Switzerland,}, publisher = {Lecture Notes in Computer Science 1912, Springer-Verlag}, month = {Mar}, year = {2000} }