Marvin Stenger
According to our database1,
Marvin Stenger
authored at least 10 papers
between 2017 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2017
2018
2019
2020
0
1
2
3
4
5
2
2
2
2
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Int. J. Softw. Tools Technol. Transf., 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017