Dirk Lenzkes

According to our database1, Dirk Lenzkes authored at least 2 papers in 1997.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1997
Efficient Scaling-Invariant Checking of Timed Bisimulation.
Proceedings of the STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27, 1997

Weak Refinement for Modal Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997


  Loading...