Search Results
Refine Results-
1by Dietsch, Daniel; Greitschus, Marius; Heizmann, Matthias et al. , Published in Lecture notes in computer science (2018)
-
2by Heizmann, Matthias; Chen, Yu-Fang; Dietsch, Daniel et al. , Published in Lecture notes in computer science (2018)
-
3by Dietsch, Daniel; Heizmann, Matthias; Nutz, Alexander et al. , Published in Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings (2020)
-
41973In collection: Lecture notes in computer science
-
5by Josi, Frieda; Wartena, Christian; Heid, Ulrich et al. , Published in Lecture notes in computer science (2021)
-
6