|
@techreport{JaKu98a, author = {Joern Janneck and Philipp W. Kutter}, title = {Object-based Abstract State Machines}, institution = {Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich}, number = {47}, month = {Jan}, year = {1998} }