Parameterized model-checking of timed systems with conjunctive guards / Spalazzi, Luca; Spegni, Francesco. - STAMPA. - 8471:(2014), pp. 235-251. (Intervento presentato al convegno 6th International Conference, VSTTE 2014 tenutosi a Vienna, Austria nel July 17-18, 2014) [10.1007/978-3-319-12154-3_15].
Parameterized model-checking of timed systems with conjunctive guards
SPALAZZI, Luca;SPEGNI, FRANCESCO
2014-01-01
File in 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.