1
veröffentlicht 1991
Buch
2
von Winkelmann, Klaus, Schütze, Wolfgang
veröffentlicht 1997
Buch
3
von Winkelmann, Klaus
Veröffentlicht in Formal Methods in System Design (2001)
Zusatzinformationen online
Artikel
4
Zusatzinformationen online
E-Book-Kapitel
5
10
11
Zusatzinformationen online
Artikel