Refinement checking on parametric modal transition systems

October 15, 2017 in by

by Nikola Beneš, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba
Reference:
Nikola Beneš, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jiří Srba. Refinement checking on parametric modal transition systems. In Acta Informatica 52(2-3):269-297. Springer, April 2015.
Bibtex Entry:
@string{apr="April"}
@article{BKLMSS-acta15,
  author =        {Bene{v{s}}, Nikola and Kret{'i}nsk{'y}, Jan and
                   Larsen, Kim G. and M{o}ller, Mikael H. and
                   Sickert, Salomon and Srba, Ji{v{r}}{'i}},
  journal =       {Acta Informatica},
  month =         apr,
  number =        {2-3},
  pages =         {269-297},
  publisher =     {Springer},
  title =         {Refinement checking on parametric modal transition
                   systems},
  volume =        {52},
  year =          {2015},
  doi =           {10.1007/s00236-015-0215-4},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BKLMSS-acta15.pdf},
  category =      {jour},
  wps =           {wp1 and wp2},
  partners =      {AAU},
  casstingpart =  {50},
}