J
[JLS12] Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, and Jiří Srba. Time-Darts: A Data Structure for Verification of Closed Timed Automata. In SSV'12, Electronic Proceedings in Theoretical Computer Science 102, pages 141-155. November 2012. 
@inproceedings{ssv2012-JLS,
  author =              {J{\o}rgensen, Kenneth Yrke and Larsen, Kim
                         Guldstrand and Srba, Ji{\v r}{\'\i}},
  title =               {Time-Darts: A~Data Structure for Verification of
                         Closed Timed Automata},
  booktitle =           {{P}roceedings of the 7th {C}onference on {S}ystems
                         {S}oftware {V}erification ({SSV}'12)},
  acronym =             {{SSV}'12},
  series =              {Electronic Proceedings in Theoretical Computer
                         Science},
  volume =              {102},
  pages =               {141-155},
  year =                {2012},
  month =               nov,
  doi =                 {10.4204/EPTCS.102.13},
}
List of authors