Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings / [edited by] E. Allen Emerson, Kedar S. Namjoshi. by Series: Lecture notes in computer science ; 3855.
Edition: 1st ed.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11609773
Publication details: Berlin ; New York : Springer-Verlag, 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings / edited by E. Allen Emerson, Aravinda Prasad Sistla. by Series: Lecture notes in computer science ; 1855.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2000
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha