Model Checking: Verification or Debugging?

    Activity: Talk or presentation › Oral presentation

    Period27 Jun 2000
    Event titleInternational Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000
    Event typeConference
    LocationLas Vegas, United States, NevadaShow on map
    Degree of RecognitionInternational

    Related content