Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings / Patrice Godefroid (ed.). by Series: Lecture notes in computer science ; 3639.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2005
Other title:
  • 12th International SPIN Workshop
  • Twelfth International SPIN Workshop
  • International SPIN Workshop
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid. by Series: Lecture notes in computer science ; 1032.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha