StoKlaim: A Stochastic Extension of Klaim
 |
 |
@techreport{stoklaim-techrep2007,
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}
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}