Calvin Kai Fan Tang

2007
3	EE	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	EE	Calvin Kai Fan Tang, Eugenia Ternovska: Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines 2005: 397-416
1	EE	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]