Slicing abstract state machines

Nowack, Antje

Berlin [u.a.] : Springer (2004)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Abstract state machines 2004 : advances in theory and practice ; 11th international workshop, Lutherstadt Wittenberg, Germany, May 24 - 28, 2004 ; proceedings / ASM 2004. Wolf Zimmermann; Bernhard Thalheim (ed.)
Seite(n)/Artikel-Nr.: 186-201

Einrichtungen

• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
• Fachgruppe Mathematik [110000]