Uppaal SMC tutorial

December 12, 2017 in by

by Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny B. Poulsen
Reference:
Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikučionis, Danny B. Poulsen. Uppaal SMC tutorial. In International Journal of Software Tools and Technology Transfer 17(4):397-415. Springer, August 2015.
Bibtex Entry:
@string{aug="August"}
@article{DLLMP-sttt15,
  author =        {David, Alexandre and Larsen, Kim G. and Legay, Axel and
                   Miku{v{c}}ionis, Marius and Poulsen, Danny B.},
  journal =       {International Journal of Software Tools and
                   Technology Transfer},
  month =         aug,
  number =        {4},
  pages =         {397-415},
  publisher =     {Springer},
  title =         {Uppaal {SMC} tutorial},
  volume =        {17},
  year =          {2015},
  doi =           {10.1007/s10009-014-0361-y},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  DLLMP-sttt15.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {25},
}