Deciding the verification problem for abstract state machines

Nowack, Antje

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

In: 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.)
Page(s)/Article-Nr.: 341-355

Identifier