Spin Computer File

22 books

Model Checking SoftwareAntti Valmari

⏱ 5h 7m

Model Checking Software

Antti Valmari

2006307 pp.

Model Checking SoftwareMatthew Dwyer

⏱ 5h 13m

Model Checking Software

Matthew Dwyer

2001313 pp.

The SPIN verification systemWorkshop on the SPIN Verification System (2nd 1996 Rutgers University)

⏱ 3h 23m

The SPIN verification system

Workshop on the SPIN Verification System (2nd 1996 Rutgers University)

1997203 pp.

Theoretical and practical aspects of SPIN model checkingInternational SPIN Workshop (5th 1999 Trento, Italy)

⏱ 4h 37m

Theoretical and practical aspects of SPIN model checking

International SPIN Workshop (5th 1999 Trento, Italy)

1999277 pp.

Model checking softwareUnknown Author

⏱ 4h 1m

Model checking software

Unknown Author

2003241 pp.

SPIN model checking and software verificationUnknown Author

⏱ 5h 40m

SPIN model checking and software verification

Unknown Author

2000340 pp.

Principles of the Spin model checkerM. Ben-Ari

⏱ 3h 36m

Principles of the Spin model checker

M. Ben-Ari

2008216 pp.

Model Checking SoftwareEzio Bartocci

⏱ 6h 27m

Model Checking Software

Ezio Bartocci

2013387 pp.

Model checking softwareInternational SPIN Workshop (10th 2003 Portland, Or.)

⏱ 3h 59m

Model checking software

International SPIN Workshop (10th 2003 Portland, Or.)

2003239 pp.

Model Checking Software Lecture Notes in Computer ScienceKlaus Havelund

⏱ 5h 42m

Model Checking Software Lecture Notes in Computer Science

Klaus Havelund

2008342 pp.

Theoretical and practical aspects of SPIN model checkingInternational SPIN Workshop (5th 1999 Trento, Italy)

⏱ 4h 36m

Theoretical and practical aspects of SPIN model checking

International SPIN Workshop (5th 1999 Trento, Italy)

1999276 pp.

Model checking softwareInternational SPIN Workshop (13th 2006 Vienna, Austria)

⏱ 5h 5m

Model checking software

International SPIN Workshop (13th 2006 Vienna, Austria)

2006305 pp.

Model checking softwareInternational SPIN Workshop (14th 2007 Berlin, Germany)

⏱ 4h 43m

Model checking software

International SPIN Workshop (14th 2007 Berlin, Germany)

2007283 pp.

Model checking softwareInternational SPIN Workshop (12th 2005 San Francisco, Calif.)

⏱ 4h 47m

Model checking software

International SPIN Workshop (12th 2005 San Francisco, Calif.)

2005287 pp.

Model Checking SoftwareJaco van de Pol

Model Checking Software

Jaco van de Pol

2010No page data

Model Checking Software 19th International Workshop ProceedingsAlastair Donaldson

Model Checking Software 19th International Workshop Proceedings

Alastair Donaldson

2012No page data

Model checking softwareStefan Leue

⏱ 4h 19m

Model checking software

Stefan Leue

2002259 pp.

Model checking softwareInternational SPIN Workshop (11th 2004 Barcelona, Spain)

⏱ 5h 7m

Model checking software

International SPIN Workshop (11th 2004 Barcelona, Spain)

2004307 pp.

SPIN model checking and software verificationInternational SPIN Workshop (7th 2000 Stanford, Calif.)

⏱ 5h 42m

SPIN model checking and software verification

International SPIN Workshop (7th 2000 Stanford, Calif.)

2000342 pp.

Model checking softwareInternational SPIN Workshop (8th 2001 Toronto, Ont.)

⏱ 5h 11m

Model checking software

International SPIN Workshop (8th 2001 Toronto, Ont.)

2001311 pp.

Page 1 of 2Next →