Antje Nowack

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Antje Nowack
A Polynomial-Time Slicing Algorithm. Abstract State Machines (2005)
Antje Nowack
A Guarded Fragment for Abstract State Machines. J. Log. Lang. Inf. 14 (3) (2005)
Antje Nowack
Slicing Abstract State Machines. Abstract State Machines (2004)
Erich Grädel, Antje Nowack
Quantum Computing and Abstract State Machines. Abstract State Machines (2003)
Antje Nowack
Deciding the Verification Problem for Abstract State Machines. Abstract State Machines (2003)