Maurice Krause

According to our database, Maurice Krause authored at least 1 paper in 2020.

Collaborative distances:

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

2020

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.

Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020