@article{845796,
      recid = {845796},
      author = {Jansen, David N. and Prabhakar, Pavithra,},
      title = {Formal modeling and analysis of timed systems : 16th  International Conference, FORMATS 2018, Beijing, China,  September 4-6, 2018, Proceedings /. FORMATS (Conference)},
      pages = {1 online resource (x, 289 pages) :},
      note = {International conference proceedings.},
      url = {http://library.usi.edu/record/845796},
      doi = {https://doi.org/10.1007/978-3-030-00151-3},
}