DMCA

Formal Analysis of a Space Craft Controller using SPIN (1998)

by Klaus Havelund , Mike Lowry , John Penix
Venue:In Proceedings of the 4th SPIN workshop
Citations:88 - 27 self