Applications of Model Checking at Honeywell Laboratories (2001)

Cached

Download Links

by Darren Cofer , Eric Engstrom , Robert Goldman , David Musliner , Steve Vestal
Venue:Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
Citations:2 - 0 self

Document Versions

Applications of Model Checking at Honeywell Laboratories –Darren Cofer, Eric Engstrom, Robert Goldman, David Musliner, Steve Vestal — 2001 — Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
Applications of Model Checking at Honeywell Laboratories –Darren Cofer, Eric Engstrom, Robert Goldman, David Musliner, Steve Vestal — 2001 — Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science