List of Publications in BibTeX Format sorted by "Year"

 
 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