Burkhard Bieber

According to our database, Burkhard Bieber authored at least 1 paper in 1999.

Collaborative distances:

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

1999

Model Checking of Time Petri Nets Based on Partial Order Semantics.

Burkhard Bieber, Hans Fleischhack

Proceedings of the CONCUR '99: Concurrency Theory, 1999