A Framework for the Verification of Parameterized Infinite-state Systems
Informazioni aggiuntive
Autori
Sharygina N.,
Alberti F.,
Ghilardi S.
Tipo
Articolo pubblicato in rivista scientifica
Anno
2017
Lingua
Inglese
Periodico
Fundamenta Informaticae
Pagine (o numero dell’articolo)
1-24
