printlogo
ETH Zuerich - Homepage
Computer Engineering and Networks Laboratory (TIK)
  

List of Publications in BibTeX Format sorted by "Year"

 
 Back 
 

1 entry found. 
@misc{Kut96b,
 author = {Philipp W. Kutter},
 title = {Integration of Statecharts in Specware and Aspects of Correct Oberon Code Generation},
 month = {Jan},
 year = {1996}
}
1 entry found.

 
 Back