A Framework for the Verification of Parameterized Infinite-state Systems
Additional information
Authors
Sharygina N.,
Alberti F.,
Ghilardi S.
Type
Journal Article
Year
2017
Language
English
Journal
Fundamenta Informaticae
Pages (or article number)
1-24
