10.35011/FMVTR.2011-2
Biere, Armin
Armin
Biere
https://orcid.org/0000-0001-7170-9242
Johannes Kepler University of Linz
Heljanko, Keijo
Keijo
Heljanko
https://orcid.org/0000-0002-4547-2701
University of Helsinki
Wieringa, Siert
Siert
Wieringa
University of Helsinki
AIGER 1.9 and beyond
Institut for Formal Models and Verification, Johannes Kepler University
2011
ScholarlyArticle
en