Model checking abstract state machines with answer set programming (2005)
by
Calvin Kai Fan Tang, et al.
| Venue: | IN: LPAR |
| Citations: | 3 - 0 self |
Document Versions
| Model checking abstract state machines with answer set programming –Calvin Kai Fan Tang, et al. — 2005 — IN: LPAR |
| Model Checking Abstract State Machines with Answer Set Programming –Calvin Kai Fan Tang — 2006 |
| E.: Model checking abstract state machines with answer set programming –Calvin Kai Fan Tang — In: LPAR |
