Dirk Lenzkes

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1997

Efficient Scaling-Invariant Checking of Timed Bisimulation.

[DOI]

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.

[DOI]

Proceedings of the Hybrid and Real-Time Systems, 1997