StoKlaim: A Stochastic Extension of Klaim

@techreport{stoklaim-techrep2007,
   apice = {StoklaimTechrep2006},
   author = {De Nicola, Rocco and Latella, Diego and Katoen, Joost-Pieter and Massink, Mieke},
   institution = {Istituto di Scienza e Tecnologie dell'Informazione ``Alessandro Faedo'' (ISTI)},
   number = {2006-TR-01},
   series = {CNR-ISTI},
   title = {{S}to{K}laim: A Stochastic Extension of {K}laim},
   year = 2006
}