Graded CTL Model Checking for Test Generation, in (2011)

by M Napoli, M Parente
Venue:Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, TMS-DEVS ’11, Society for Computer Simulation International