A Framework for the Analysis of Formal Descripition Techniques for Timed Systems

@inproceedings{Eschbach1998AFF,
  title={A Framework for the Analysis of Formal Descripition Techniques for Timed Systems},
  author={Robert Eschbach and Thomas Deiss and Martin Kronenburg},
  year={1998}
}

Similar Papers

Loading similar papers…