List of Publications in BibTeX Format
Back
1 entry found.
@techreport{Kutter02a,
author = {Philipp W. Kutter},
title = {The Formal Definition of Anlauff's eXtensible Abstract State Machines},
institution = {ETH Zürich},
number = {136},
month = {Jun},
year = {2002}
}
1 entry found.
Back