Model Checking Abstract State Machines with Answer Set Programming.

Calvin Kai Fan Tang Eugenia Ternovska Model Checking Abstract State Machines with Answer Set Programming. 397-416 2005 conf/asm/2005 Abstract State Machines http://www.univ-paris12.fr/lacl/dima/asm05/tang-ternovska.ps db/conf/asm/asm2005.html#TangT05