@inproceedings{gnad-et-al-spin2018,
  author       = {Daniel Gnad and Patrick Dubbert and Alberto Lluch{-}Lafuente and
    J{\"o}rg Hoffmann},
  title        = {Star-Topology Decoupling in {SPIN}},
  pages        = {103--114},
  editor       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and Pedro Merino},
  booktitle    = {Model Checking Software - 25th International Symposium, {SPIN} 2018,
    Malaga, Spain, June 20-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = 10869,
  publisher    = {Springer},
  year         = 2018,
}