On CTL* With graded path modalities / Aminof, Benjamin; Murano, Aniello; Rubin, Sasha. - 9450:(2015), pp. 281-296. (Intervento presentato al convegno 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015 tenutosi a fji nel 2015) [10.1007/978-3-662-48899-7_20].
On CTL* With graded path modalities
Murano, Aniello
Membro del Collaboration Group
;Rubin, Sasha
Membro del Collaboration Group
2015
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.
