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
Be the first to leave a comment!
You must be logged in first