@misc {IOPORT.70008077,
    author       = {Bokor, P\'eter and Serafini, Marco and Suri, Neeraj},
    title        = {On efficient models for model checking message-passing distributed protocols},
    howpublished = {FMOODS/FORTE, 216-223 (2010).},
    year         = {2010},
    doi          = {10.1007/978-3-642-13464-7_17},
    identifier   = {70008077},
}