Research Catalog

  • Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

    • Text
    • Berlin ; New York : Springer, c2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text JSE 00-948Offsite
  • Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier, eds.

    • Text
    • Berlin ; New York : Springer, c2004.
    • 2004
    • 1 Item

    Available Online

    http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2989
    FormatCall NumberItem Location
    Text JSE 04-1005Offsite
  • Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practices of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings / Susanne Graf, Michael Schartzbach (eds.).

    • Text
    • Berlin ; New York : Springer, 2000.
    • 2000
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.S88 T33 2000Off-site
  • Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings / Susanne Graf, Laurent Mounier (eds.).

    • Text
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.V47 I58 2004Off-site
  • Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings / Susanne Graf, Wenhui Zhang (eds.).

    • Text
    • Berlin ; New York : Springer, 2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 A82 2006gOff-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta