MoDeST -- A Modelling and Description Language for Stochastic Timed Systems (2001)

Cached

Download Links

by Pedro R. D’Argenio , Holger Hermanns , Joost-Pieter Katoen , Ric Klaren
Citations:19 - 5 self