|
[AL10]
H. Aljazzar and S. Leue.
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.
IEEE Transactions on Software Engineering, 36(1), pages 37-60, IEEE Computer Society.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|