Deciding the verification problem for abstract state machines

Berlin [u.a.] / Springer (2003) [Abstract, Buchbeitrag, Beitrag zu einem Tagungsband]

Abstract state machines 2003 : advances in theory and practice ; 10th international workshop ; proceedings / ASM 2003, Taormina, Italy, March 3 - 7, 2003. Egon Börger... (eds.)
Seite(n): 341-355

Autorinnen und Autoren

Autorinnen und Autoren

Nowack, Antje

Identifikationsnummern