Doctoral Thesis: Relative Timing based Verification
of Concurrent Systems.
M. A. Peña,
Advisors: J. Cortadella and E. Pastor
Department of
Computer Architecture, Technical University of Catalonia,
Barcelona, Spain, April 2003.
Click here for the abstract. Slides used in the defense. Link a Tesis Doctorals en Xarxa (TDX), ISBN: 84-688-5359-3, DL: B-10756-2004
