IRIS

Automatic discovery of fair paths in infinite-state transition systems / Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico. - (2021). (Intervento presentato al convegno ATVA tenutosi a Virtual / Gold Coast, QLD, Australia nel 18th October - 22nd October 2021) [10.1007/978-3-030-88885-5_3].

Automatic discovery of fair paths in infinite-state transition systems.

Magnago, Enrico
2021-01-01
2021
Automated Technology for Verification and Analysis 19th International Symposium, ATVA 2021
USA
SPRINGER
2-s2.0-85118195827
WOS:000719819800003
Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico
Automatic discovery of fair paths in infinite-state transition systems / Cimatti, Alessandro; Griggio, Alberto; Magnago, Enrico. - (2021). (Intervento presentato al convegno ATVA tenutosi a Virtual / Gold Coast, QLD, Australia nel 18th October - 22nd October 2021) [10.1007/978-3-030-88885-5_3].
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/356862
 Attenzione

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

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact