Dirk Lenzkes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1997

2 Carsten Weise, Dirk Lenzkes: Weak Refinement for Modal Hybrid Systems. HART 1997: 316-330

1 Carsten Weise, Dirk Lenzkes: Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS 1997: 177-188

	1997
2		Carsten Weise, Dirk Lenzkes: Weak Refinement for Modal Hybrid Systems. HART 1997: 316-330
1		Carsten Weise, Dirk Lenzkes: Efficient Scaling-Invariant Checking of Timed Bisimulation. STACS 1997: 177-188

Coauthor Index

1 Carsten Weise [1] [2]