On regions and zones for event-clock automata

December 16, 2017 in by

by Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Reference:
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder. On regions and zones for event-clock automata. In Formal Methods in System Design 45(3):330-380. Springer, December 2014.
Bibtex Entry:
@string{dec="December"}
@article{GRS-fmsd14,
  author =        {Geeraerts, Gilles and Raskin, Jean-Fran{c{c}}ois and
                   Sznajder, Nathalie},
  journal =       {Formal Methods in System Design},
  month =         dec,
  number =        {3},
  pages =         {330-380},
  publisher =     {Springer},
  title =         {On regions and zones for event-clock automata},
  volume =        {45},
  year =          {2014},
  doi =           {10.1007/s10703-014-0212-1},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  GRS-fmsd14.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {ULB},
  casstingpart =  {25},
}