Dirk Lenzkes

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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]