Memory Event Clocks

James Jerson Ortiz, Axel Legay, Pierre Yves Schobbens. Memory Event Clocks. In Krishnendu Chatterjee, Thomas A. Henzinger, editors, Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings. Volume 6246 of Lecture Notes in Computer Science, pages 198-212, Springer, 2010. [doi]

@inproceedings{OrtizLS10,
  title = {Memory Event Clocks},
  author = {James Jerson Ortiz and Axel Legay and Pierre Yves Schobbens},
  year = {2010},
  doi = {10.1007/978-3-642-15297-9_16},
  url = {http://dx.doi.org/10.1007/978-3-642-15297-9_16},
  researchr = {https://researchr.org/publication/OrtizLS10},
  cites = {0},
  citedby = {0},
  pages = {198-212},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings},
  editor = {Krishnendu Chatterjee and Thomas A. Henzinger},
  volume = {6246},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15296-2},
}