Treffer: Counterexample Generation in Probabilistic Model Checking
Title:
Counterexample Generation in Probabilistic Model Checking
Authors:
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 35(2):241-257 Apr, 2009
Database:
IEEE Xplore Digital Library