A Tool for Abstraction in Model Checking

13 years 11 months ago

or Abstraction in Model Checking Mar

María-del-Mar Gallardo, Jesús Mart&i

Abstraction | Abstraction Method | ENTCS 2002 | Model |

claim paper

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2002
Where	ENTCS
Authors	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel

Comments (0)