Mean Field Approximation For Stochastic Model Checking

Location: 
University of Venice
Date: 
Wednesday, 29 May, 2013
File: 
PDF icon Bortolussi-2013-Venezia FMC.pdf