%0
Book
%T
Semantics and verification of statecharts
%A
Mikk, Erich
%I
Inst. für Informatik und Praktische Mathematik
%K
Hochschulschrift
%D
2000
%C
Inst. für Informatik und Praktische Mathematik
%C
Kiel
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation