Showing 1 - 2 results of 2 for search 'Godefroid, Patrice', query time: 0.01s Refine Results
  1. 1
    Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem
    by Godefroid, Patrice
    Published 1996
    Book
  2. 2
    Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings /
    Published 2005
    Other Authors: “…Godefroid, Patrice…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search