Prompt Interval Temporal Logic / Della Monica, Dario; Montanari, Angelo; Murano, Aniello; Sala, Pietro. - 10021:(2016), pp. 207-222. ( Jelia 2016) [10.1007/978-3-319-48758-8_14].
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.


