• Aiuto
  • Sfoglia

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



    Titolo: Symbolic Implementation of Alternating Automata
    Autori: 
    Cimatti, Alessandro
    Roveri, Marco
    mostra contributor esterni 
    Data di pubblicazione: 2006
    Handle: http://hdl.handle.net/11582/4323
    ISBN: 9783540372134
    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/11582/4323
    • Citazioni
    • ND

    I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2018