Applications of Model Checking at Honeywell Laboratories (2001)
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 |
