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

Bibliographic Details
Corporate Authors:	ASM 2004 Wittenberg, Saxony-Anhalt, Germany, SpringerLink (Online service)
Other Authors:	Zimmermann, Wolf, Thalheim, B. (Bernhard), 1952-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3052.
Subjects:	Machine theory > Congresses. Abstracte machines. Machine abstraite. Théorie des automates. Automates mathématiques, Théorie des > Congrès. Machine theory. Abstrakte Zustandsmaschine. Formale Spezifikationstechnik. Model Checking. Nebenläufigkeit. UML. Verifikation. Wittenberg (2004) Electronic books. Kongress. Conference proceedings.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3052

Remote Storage