Jump to main content

yr 〜
yr

Search results 4

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)
Paper図書
Springerc2005.<M17-06-85>
National Diet Library
  • Author HeadingGodefroid, Patrice. International SPIN Workshop ...

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid. (Lecture notes in computer science ; v. 1032)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / Patrice Godefroid. (Lecture notes in computer science ; v. 1032)
Paper図書
Springerc1996.<M154-A268>
National Diet Library
  • Author HeadingGodefroid, Patrice.

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings

Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
Paper図書
Patrice Godefroid (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingSPIN Godefroid, Patrice

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Paper図書
Patrice GodefroidSpringerc1996
Other Libraries in Japan
  • Author HeadingGodefroid, Patrice

Reached to the end of result.

RSS