Computer aided verification [electronic resource] : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings / Werner Damm, Holger Hermanns (eds.).

Finding items...

Series

Subject(s)

ISBN

9783540733683
354073368X
9783540733676
3540733671
6611045589
9786611045586

Note

AVAILABLE ONLINE TO AUTHORIZED PSU USERS.

Bibliography Note

Includes bibliographical references and index.

Reproduction Note

Electronic reproduction. Berlin : Springer, 2007. Mode of access: World Wide Web. Available via SpringerLink.

View MARC record | catkey: 4567362