1
Published 2005
Table of Contents: ... Abstraction via Symbolic Decision Procedures -- Interpolant-Based Transition Relation Approximation...
View full text
Electronic eBook