M. Atzmueller, A. Schmidt, B. Kloepper, and D. Arnu. New Frontiers in Mining Complex Patterns. Postproceedings NFMCP 2016, volume 10312 of LNAI, Berlin/Heidelberg, Germany, Springer Verlag, (2017)
M. Atzmueller, A. Schmidt, B. Kloepper, and D. Arnu. New Frontiers in Mining Complex Patterns. Postproceedings NFMCP 2016, volume 10312 of LNAI, Berlin/Heidelberg, Germany, Springer Verlag, (2017)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)