Witness and counterexample automata for ACTL / R. MEOLIC; A. FANTECHI; S. GNESI. - STAMPA. - 3235:(2004), pp. 259-275. (Intervento presentato al convegno FORTE 2004, LNCS 3235 tenutosi a Madrid, Spagna. nel Settembre 2004).

Witness and counterexample automata for ACTL

FANTECHI, ALESSANDRO;
2004

2004
FORTE 2004, LNCS 3235
Madrid, Spagna.
Settembre 2004
R. MEOLIC; A. FANTECHI; S. GNESI
File in questo prodotto:
File Dimensione Formato  
FORTE04.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Tutti i diritti riservati
Dimensione 164.5 kB
Formato Adobe PDF
164.5 kB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/238587
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 6
social impact