TY - BOOK
AU - Achatz, Klaus
AU - Partsch, Helmut
TI - From descriptive specifications to operational ones a powerful transformation rule, its applications and variants
PB - Univ., Fakultät für Informatik
KW - Theoretische Informatik
PY - 1996
BT - Ulmer Informatik-Berichte ; 96,13
CY - Ulm
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation