Local Model Checking of Weighted CTL with Upper-Bound Constraints

December 12, 2017 in by

by Jonas F. Jensen, Kim G. Larsen, Jiří Srba, Lars K. Østergaard
Reference:
Jonas F. Jensen, Kim G. Larsen, Jiří Srba, Lars K. Østergaard. Local Model Checking of Weighted CTL with Upper-Bound Constraints. In Proceedings of the 20th International Symposium on Model-Cherking Software (SPIN’13), pages 178-195. Volume 7976 of Lecture Notes in Computer Science. Springer, July 2013.
Bibtex Entry:
@string{jul="July"}
@inproceedings{spin2013-JLSO,
  address =       {Stony Brook, NY, USA},
  author =        {Jensen, Jonas F. and Larsen, Kim G. and
                   Srba, Ji{v r}{'i} and {O}stergaard, Lars K.},
  booktitle =     {{P}roceedings of the 20th {I}nternational {S}ymposium
                   on {M}odel-{C}herking {S}oftware ({SPIN}'13)},
  editor =        {Bartocci, Ezio and Ramakrishnan, C. R.},
  month =         jul,
  pages =         {178-195},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Local Model Checking of Weighted {CTL} with
                   Upper-Bound Constraints},
  volume =        {7976},
  year =          {2013},
  doi =           {10.1007/978-3-642-39176-7_12},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  spin2013-JLSO.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {25},
}