Modeling with Abstract State Machines: A support for accurate system design and analysis

Egon Börger. Modeling with Abstract State Machines: A support for accurate system design and analysis. In Bernhard Rumpe, Wolfgang Hesse, editors, Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Volume 45 of LNI, pages 235-239, GI, 2004.

Abstract

Abstract is missing.