Flat Model Checking for Counting LTL Using Quantifier-Free Presburger Arithmetic

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings / edited by Constantin Enea, Ruzica Piskac
Seite(n): 513-534

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Decker, Normann
Pirogov, Anton

Identifikationsnummern