@article{811128,
      recid = {811128},
      author = {Baier, Christel. and Katoen, Joost-Pieter.},
      title = {Principles of model checking [electronic resource] /},
      publisher = {MIT Press,},
      address = {Cambridge, Mass. :},
      pages = {xvii, 975 p. :},
      year = {2008},
      url = {http://library.usi.edu/record/811128},
}