Maximilian Fecke

According to our database, Maximilian Fecke authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

The RERS 2017 challenge and workshop (invited paper).

Marc Jasper, Maximilian Fecke, Bernhard Steffen, Markus Schordan, Jeroen Meijer, Jaco van de Pol, Falk Howar, Stephen F. Siegel

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017