Statistical Verification of Probabilistic Properties with Unbounded Until / Younes Håkan, L. S.; Clarke Edmund, M.; Zuliani, P. - 6527:(2011), pp. 1-30. [10.1007/978-3-642-19829-8_10]
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.