Abstraction refinement for large scale model checking

By: Hachtel, Gary DContributor(s): Somenzi, Fabio jt.auMaterial type: TextTextPublication details: US Springer 2006Description: ixiv,179pISBN: 9780387346007Subject(s): Engineering | Electronic and Computer EngineeringDDC classification: Online resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Book Book Mahatma Gandhi Central Library
1 Available NB2551

There are no comments on this title.

to post a comment.

Powered by Koha