Model checking abstract state machines with answer set programming (2005)
by
Calvin Kai Fan Tang, et al.
| Venue: | IN: LPAR |
| Citations: | 3 - 0 self |
BibTeX
@ARTICLE{Tang05modelchecking,
author = {Calvin Kai Fan Tang and et al.},
title = {Model checking abstract state machines with answer set programming},
journal = {IN: LPAR},
year = {2005},
pages = {443--458}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Citations
| 187 | Abstract State Machines. A Method for High Level System Design and Analysis - Börger, Stärk - 2003 |
| 34 | Bounded Ltl Model Checking with Stable Models. Theory and Practice of Logic Programming 3(4&5):519–550 - Heljanko, Niemelä - 2003 |
| 1 | Model checking large software specifications - Cimatti, Clarke, et al. - 1998 |
