Memory Efficient Data Structures for Explicit Verification of Timed Systems

December 16, 2017 in by

by Peter G. Jensen, Kim G. Larsen, Jiří Srba, Mathias G. Sørensen, Jakob H. Taankvist
Reference:
Peter G. Jensen, Kim G. Larsen, Jiří Srba, Mathias G. Sørensen, Jakob H. Taankvist. Memory Efficient Data Structures for Explicit Verification of Timed Systems. In Proceedings of the 6th NASA Formal Methods Symposium (NFM’14), pages 307-312. Volume 8430 of Lecture Notes in Computer Science. Springer, April 2014.
Bibtex Entry:
@string{apr="April"}
@inproceedings{JLSST-nfm14,
  address =       {Houston, TX, USA},
  author =        {Jensen, Peter G. and Larsen, Kim G. and
                   Srba, Ji{v r}{'i} and S{o}rensen, Mathias G. and
                   Taankvist, Jakob H.},
  booktitle =     {{P}roceedings of the 6th {NASA} {F}ormal {M}ethods
                   {S}ymposium ({NFM}'14)},
  editor =        {Badger, Julia M. and Rozier, Kristin Yvonne},
  month =         apr,
  pages =         {307-312},
  publisher =     {Springer},
  series =        {Lecture Notes in Computer Science},
  title =         {Memory Efficient Data Structures for Explicit
                   Verification of Timed Systems},
  volume =        {8430},
  year =          {2014},
  doi =           {10.1007/978-3-319-06200-6_26},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  JLSST-nfm14.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {AAU},
  casstingpart =  {25},
}