A Logical Characterisation of Event Clock Automata

@article{DSouza2003ALC,
  title={A Logical Characterisation of Event Clock Automata},
  author={Deepak D'Souza},
  journal={Int. J. Found. Comput. Sci.},
  year={2003},
  volume={14},
  pages={625-640}
}
Highly Cited
This paper has 40 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…