@misc {IOPORT.70899365,
    author       = {Quaglia, Paola and Schivo, Stefano},
    title        = {Approximate model checking of stochastic COWS},
    howpublished = {TGC, 335-347 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-15640-3_22},
    identifier   = {70899365},
}