Uppaal Stratego

October 15, 2017 in by

by Alexandre David, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Jakob H. Taankvist
Reference:
Alexandre David, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Jakob H. Taankvist. Uppaal Stratego. In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS’15), pages 206-211. Volume 9035 of Lecture Notes in Computer Science. Springer, April 2015.
Bibtex Entry:
@string{apr="April"}
@inproceedings{tacas2015-DJLMT,
  address =       {London, UK},
  author =        {David, Alexandre and Jensen, Peter G. and
                   Larsen, Kim G. and Miku{v{c}}ionis, Marius and
                   Taankvist, Jakob H.},
  booktitle =     {{P}roceedings of the 21st {I}nternational
                   {C}onference on {T}ools and {A}lgorithms for the
                   {C}onstruction and {A}nalysis of {S}ystems
                   ({TACAS}'15)},
  editor =        {Baier, Christel and Tinelli, Cesare},
  month =         apr,
  pages =         {206-211},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Uppaal Stratego},
  volume =        {9035},
  year =          {2015},
  doi =           {10.1007/978-3-662-46681-0_16},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  DJLMT-tacas15.pdf},
  category =      {conf},
  wps =           {wp4},
  partners =      {AAU},
  casstingpart =  {100},
}