Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets

October 15, 2017 in by

by Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jiří Srba
Reference:
Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jiří Srba. Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. In Proceedings of the 12th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’14), pages 237-251. Volume 8711 of Lecture Notes in Computer Science. Springer, September 2014.
Bibtex Entry:
@string{sep="September"}
@inproceedings{BJJMSS-formats14,
  address =       {Florence, Italy},
  author =        {Birch, Sine Viesmose and Jacobsen, Thomas Stig and
                   Jensen, Jacob Jon and Moesgaard, Christoffer and
                   Samuelsen, Niels N{o}rgaard and
                   Srba, Ji{v{r}}{'i}},
  booktitle =     {{P}roceedings of the 12th {I}nternational
                   {C}onference on {F}ormal {M}odelling and {A}nalysis
                   of {T}imed {S}ystems ({FORMATS}'14)},
  editor =        {Legay, Axel and Bozga, Marius},
  month =         sep,
  pages =         {237-251},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Interval Abstraction Refinement for Model Checking of
                   Timed-Arc {P}etri Nets},
  volume =        {8711},
  year =          {2014},
  doi =           {10.1007/978-3-319-10512-3_17},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BJJMSS-formats14.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {AAU},
  casstingpart =  {100},
}