Comments on: Statistical Model-Checking http://blog.ascens-ist.eu/2014/09/statistical-model-checking/ Tue, 19 Apr 2011 13:17:31 +0000 hourly 1 http://wordpress.org/?v=3.3.2