Some algebraic concepts of the specification language SEGRAS and their initial semantics /

Autor Kreowski, Hans-Jörg, 1949-, Schmidt, Heinz Wilhelm, 1952-
Vydáno 1984

Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday /

Vydáno 2005