MDG Model Checker User's Manual (1999)

by Y Xu
Venue:University of Montreal