![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Konferenzbeitrag
Anzahl der Publikationen: 1
Konferenzbeitrag
Apel, Sven; Beyer, Dirk; Mordan, Vitaly; Mutilin, Vadim und Stahlbauer, Andreas
(2016):
On-the-Fly Decomposition of Specifications in Software Model Checking.
24th ACM SIGSOFT International Symposium on Foundations of Software Engineering FSE 2016, Seattle, WA, USA, November 13 - 18, 2016.
In: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering,
Association for Computing Machinery. S. 349-361