E-mail senden
E-Mail Adresse kopieren
2015
Decidability of Parameterized Verification
Veröffentlichungsdatum
2015
Letztes Änderungsdatum
2021-06-04 08:38:30
Autor:innen
-
Roderick Bloem
-
Swen Jacobs
-
Ayrat Khalimov
-
Igor Konnov
-
Sasha Rubin
-
Helmut Veith
-
Josef Widder