The following publications are possibly variants of this publication:
- Statistical Abstraction and Model-Checking of Large Heterogeneous SystemsAnanda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay. forte 2010: 32-46 [doi]
- Time for Statistical Model Checking of Real-Time SystemsAlexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang. cav 2011: 349-355 [doi]
- A Bayesian Approach to Model Checking Biological SystemsSumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani. cmsb 2009: 218-234 [doi]