Timing Diagrams: A Visual Formalism for Model Verification

BIB
Schlör, Rainer
01 / 2001
phdthesis