Browse by Journal and Volume
 | Up a level |
Jump to: H
Number of items: 1.
H
Han, Tingting and Katoen, J.-P. and Berteun, D. (2009) Counterexample generation in probabilistic model checking. IEEE Transactions on Software Engineering 35 (2), pp. 241-257. ISSN 0098-5589.