IRIS

Symbolic Implementation of Alternating Automata / Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.. - 4094:(2006), pp. 208-218. (Intervento presentato al convegno CIAA tenutosi a Taipei, Taiwan nel 21/08/2006-23/08/2006) [10.1007/11812128_20].

Symbolic Implementation of Alternating Automata

A. Cimatti;M. Roveri;
2006-01-01
2006
Proceedings of 11th Int. Conference Implementation and Application of Automata
Taipei, Taiwan
SPRINGER
9783540372134
2-s2.0-33749388943
WOS:000240312700020
Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
Symbolic Implementation of Alternating Automata / Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.. - 4094:(2006), pp. 208-218. (Intervento presentato al convegno CIAA tenutosi a Taipei, Taiwan nel 21/08/2006-23/08/2006) [10.1007/11812128_20].
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/258762
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 9
  • OpenAlex ND
social impact