Slicing abstract state machines

Nowack, Antje

Berlin [u.a.] : Springer (2004)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 186-201

Institutions

  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]

Identifier