We stand with Ukraine  

Melanie Haustein

According to our database1, Melanie Haustein authored at least 1 paper in 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Runtime Verification of Timed Petri Nets.
[BibTeX]
[DOI]
José Ignacio Requeno
,
Elena Gómez-Martínez
,
Hannes Kallwies
,
Melanie Haustein
,
Martin Leucker
,
Volker Stolz
,
Patrick Stünkel
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024


  Loading...