Antje Nowack Deciding the Verification Problem for Abstract State Machines. [Citation Graph (0, 0)][DBLP] Abstract State Machines, 2003, pp:341-371 [Conf]
Antje Nowack A Guarded Fragment for Abstract State Machines. [Citation Graph (0, 0)][DBLP] Journal of Logic, Language and Information, 2005, v:14, n:3, pp:345-368 [Journal]