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