@article{868034,
      recid = {868034},
      author = {Vojnar, Tomáš, and Zhang, Lijun,},
      title = {Tools and algorithms for the construction and analysis of  systems : 25th International Conference, TACAS 2019, held  as part of the European Joint Conferences on Theory and  Practice of Software, ETAPS 2019, Prague, Czech Republic,  April 6-11, 2019, Proceedings., Part I /. TACAS  (Conference)},
      pages = {1 online resource (xxiii, 433 pages) :},
      note = {Includes author index.},
      url = {http://library.usi.edu/record/868034},
      doi = {https://doi.org/10.1007/978-3-030-17462-0},
}