Timed Automata Semantics for Analyzing Creol. Jaghoori, M. M. & Chothia, T. In Mousavi, M. R. & Salaün, G., editors, FOCLASA, volume 30, of EPTCS, pages 108-122, 2010.
Timed Automata Semantics for Analyzing Creol [link]Link  Timed Automata Semantics for Analyzing Creol [link]Paper  bibtex   
@inproceedings{journals/corr/abs-1007-5095,
  added-at = {2018-08-13T00:00:00.000+0200},
  author = {Jaghoori, Mohammad Mahdi and Chothia, Tom},
  biburl = {https://www.bibsonomy.org/bibtex/2831b69862928853a92a7cc6a810f4167/dblp},
  booktitle = {FOCLASA},
  crossref = {journals/corr/abs-1007-4993},
  editor = {Mousavi, Mohammad Reza and Salaün, Gwen},
  ee = {http://arxiv.org/abs/1007.5095},
  interhash = {a6745fb7885b4c7c51f7ba8680c61a17},
  intrahash = {831b69862928853a92a7cc6a810f4167},
  keywords = {dblp},
  pages = {108-122},
  series = {EPTCS},
  timestamp = {2018-08-14T15:29:39.000+0200},
  title = {Timed Automata Semantics for Analyzing Creol},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs30.html#abs-1007-5095},
  volume = 30,
  year = 2010
}

Downloads: 0