Antje Nowack

	2005
5		Antje Nowack: A Polynomial-Time Slicing Algorithm. Abstract State Machines 2005: 313-328
4		Antje Nowack: A Guarded Fragment for Abstract State Machines. Journal of Logic, Language and Information 14(3): 345-368 (2005)
	2004
3		Antje Nowack: Slicing Abstract State Machines. Abstract State Machines 2004: 186-201
	2003
2		Erich Grädel, Antje Nowack: Quantum Computing and Abstract State Machines. Abstract State Machines 2003: 309-323
1		Antje Nowack: Deciding the Verification Problem for Abstract State Machines. Abstract State Machines 2003: 341-371

Coauthor Index

1

Erich Grädel

[2]