The model checker SPIN (1997)

by G J Holzmann
Venue:In Proc. 7 � Int