Performance evaluation and model checking join forces

From International Center for Computational Logic

Toggle side column

Performance evaluation and model checking join forces

Christel BaierChristel Baier,  Boudewijn R. HaverkortBoudewijn R. Haverkort,  Holger HermannsHolger Hermanns,  Joost-Pieter KatoenJoost-Pieter Katoen
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Performance evaluation and model checking join forces
Communications of the ACM, 53(9):76--85, 2010
@article{BHHK2010,
  author  = {Christel Baier and Boudewijn R. Haverkort and Holger Hermanns and
             Joost-Pieter Katoen},
  title   = {Performance evaluation and model checking join forces},
  journal = {Communications of the {ACM}},
  volume  = {53},
  number  = {9},
  year    = {2010},
  pages   = {76--85},
  doi     = {10.1145/1810891.1810912}
}