Publications > Comunicações em Actas de Conferência

Model checking expected time and expected reward formulae with random time bounds

Kwiatkowska, M.; Norman, G.; Pacheco, António

Procs. Second Euro-Japanese Workshop on Stochastic Risk Modelling for Finance, Insurance, Production and Reliability, Chamonix, France, September 18-20 (2002), 282-291