Calvin Kai Fan Tang

	2007
3		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Fundam. Inform. 77(1-2): 105-141 (2007)
	2005
2		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines 2005: 397-416
1		Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. LPAR 2005: 443-458

Coauthor Index

1

Eugenia Ternovska (Eugenia Ternovskaia)

[1] [2] [3]