Benvenuti nell'Anagrafe della Ricerca d'Ateneo
La valutazione delle attività di ricerca che si svolgono nelle università ha assunto un'importanza rilevante sia per l'intero sistema universitario sia all'interno di ogni singolo ateneo. Roma Tre si è quindi dotata di idonei strumenti informativi in grado di supportare al meglio le azioni di monitoraggio e di valutazione delle attività di ricerca svolte nei propri dipartimentied ha realizzato una Anagrafe della Ricerca di Ateneo.
EnglishCialdea, M., & Orlandini, A. (2015). An executable semantics of flexible plans in terms of Timed Game Automata. In Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) (pp.160-169). IEEE.
| Titolo: | An executable semantics of flexible plans in terms of Timed Game Automata |
| Autori: | |
| Data di pubblicazione: | 2015 |
| Citazione: | Cialdea, M., & Orlandini, A. (2015). An executable semantics of flexible plans in terms of Timed Game Automata. In Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) (pp.160-169). IEEE. |
| Handle: | http://hdl.handle.net/11590/284756 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11590/284756
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021