Model Checking in Practice: An Analysis of the ACCESS.bus™ Protocol using SPIN (1996)

Cached

Download Links

by Bernard Boigelot , Patrice Godefroid
Venue:In Proceedings of Formal Methods Europe'96
Citations:14 - 6 self