Linear-Time and May-Testing in a Probabilistic Reactive Setting / L.Acciai; M.Boreale; R.De Nicola. - STAMPA. - (2011), pp. 29-43. [10.1007/978-3-642-21461-5_2]
Linear-Time and May-Testing in a Probabilistic Reactive Setting
ACCIAI, LUCIA;BOREALE, MICHELE;DE NICOLA, ROCCO
2011
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.