Catalog

Print Record Preview

Catalog Search




Print Now | Return

  1. Bib ID# 37092
    ISBN: 9783642026584
    UPC: 10.1007/978-3-642-02658-4
    Title: Computer Aided Verification21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
    Author: Bouajjani, Ahmed.
    Publication Info:
    Item Type: Language material

Additional Resources