@inproceedings{pvc00,
   author    = {Pardo,J.J. and Valero,V. and Cuartero,F. and Ruiz,M.Carmen},
   title     = {A Dynamic State Graph for a Timed Process Algebra},
   booktitle = {X Jornadas de Concurrencia},
   address   = {Cuenca (Spain)}
   pages     = {35-53},
   year      = {2000},
   month     = {June}
}