Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes / Marco Bernardo; Rocco De Nicola; Michele Loreti. - STAMPA. - (2010), pp. 35-56. [10.1007/978-3-642-15640-3_3]
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
DE NICOLA, ROCCO;LORETI, MICHELE
2010
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
