Fabian Edenfeld

According to our database, Fabian Edenfeld authored at least 1 paper in 2017.

Collaborative distances:

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

2017

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.

Carina Pilch, Fabian Edenfeld, Anne Remke

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017