Approximate Model Checking of Stochastic COWS

Stringa bibliografica P. Quaglia, S. Schivo, "Approximate Model Checking of Stochastic COWS" in Trustworthly Global Computing: 5th International Symposium: Revised Selected Papers, Berlin: Springer, 2010, p. 335-347 -(LNCS; 6084). - ISBN: 9783642156397. Atti di: TGC 2010, Munich, Germany, February 24th-26th, 2010 . - URL: http://www.springerlink.com/home/main.mpx

Dettaglio