Weak Muller Acceptance Conditions for Tree Automata / La Torre, Salvatore; Murano, A; Napoli, Margherita. - 2294:(2002), pp. 240-254. ((Intervento presentato al convegno 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 tenutosi a Venezia (Italia) nel January 21 - 22, 2002 [10.1007/3-540-47813-2_17].
Titolo: | Weak Muller Acceptance Conditions for Tree Automata | |
Autori: | ||
Data di pubblicazione: | 2002 | |
Handle: | http://hdl.handle.net/11386/1068784 | |
ISBN: | 3540436316 | |
Appare nelle tipologie: | 4.1.2 Proceedings con ISBN |
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.