Controller synthesis for MTL specifications / Bouyer, P.; Bozzelli, L.; Chevalier, F.. - 4137 LNCS:(2006), pp. 450-464. (Intervento presentato al convegno 17th International Conference on Concurrency Theory (CONCUR 2006)) [10.1007/11817949_30].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
CONCUR2006.pdf
solo utenti autorizzati
Licenza:
Copyright dell'editore
Dimensione
585.8 kB
Formato
Adobe PDF
|
585.8 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.