@article{862935,
      recid = {862935},
      author = {Artho, Cyrille, and Ölveczky, Peter Csaba,},
      title = {Formal techniques for safety-critical systems : 6th  International Workshop, FTSCS 2018, Gold Coast, Australia,  November 16, 2018, Revised selected papers /. FTSCS  (Workshop)},
      pages = {1 online resource (xii, 179 pages) :},
      note = {Includes author index.},
      url = {http://library.usi.edu/record/862935},
      doi = {https://doi.org/10.1007/978-3-030-12988-0},
}