Abstract state machines 2004：advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings

Corporate Authors: ASM 2004 (2004 Wittenberg (Saxony-Anhalt, Germany))
Group Author: Zimmermann Wolf.; Thalheim B.; (Bernhard), 1952-
Published: Springer,
Publication Dates: c2004.
Call Number: O141-532/A164/2004