Spread the Work : Multi-threaded Safety Analysis for Hybrid Systems

Cham / Springer International Publishing (2018) [Contribution to a book, Contribution to a conference proceedings]

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / edited by Einar Broch Johnsen, Ina Schaefer
Page(s): 89-104

Authors

Authors

Schupp, Stefan
Ábrahám, Erika

Identifier