View in EDS PDF Full Text

Adaptive Model Checking.

Saved in:
Bibliographic Details
Title: Adaptive Model Checking.
Authors: Groce, Alex1, Peled, Doron2, Yannakakis, Mihalis3
Source: Logic Journal of the IGPL; Oct2006, Vol. 14 Issue 5, p729-744, 16p
Database: Applied Science & Technology Source
Description
ISSN:13670751
DOI:10.1093/jigpal/jzl007