Theoretical and Practical Aspects of SPIN Model CheckingDennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek · First published 2003Open the Tome
Abstract interpretation and partition refinement for model checkingDennis René Dams · First published 1996Open the Tome
