Ph.D. thesis Proof methods for interval temporal logics

Davide, Bresolin
2007

2007
Inglese
Università degli Studi di Udine
Università degli Studi di Udine
Università degli Studi di Udine
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14242/254638
Il codice NBN di questa tesi è URN:NBN:IT:UNIUD-254638