Staff
Courses
Publications
Projects
Diese Seite auf deutsch
Search
Sitemap
Kontakt
E-Mail
Computer Science
»
Chairs
»
»
Software & Systems Engineering
»
Publications
»
Generating Rewrite Theories from UML Collaborations
Generating Rewrite Theories from UML Collaborations
Alexander Knapp
In: Kokichi Futatsugi, Ataru T. Nakagawa, Tetsuo Tamai (Hgg.). Cafe: An Industrial-Strength Algebraic Formal Method. Elsevier, Amsterdam-&c., 2000. S. 97-120
Links:
.ps.gz