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