Efficient model checking of fault-tolerant distributed protocols. / Bokor, Péter; Kinder, Johannes; Serafini, Marco; Suri, Neeraj.
Proc. 41st Int Conf. Dependable Systems and Networks (DSN-DCCS 2011). IEEE, 2011. p. 73-84.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Accepted author manuscript, 253 KB, PDF document
Original language | English |
---|---|
Title of host publication | Proc. 41st Int Conf. Dependable Systems and Networks (DSN-DCCS 2011) |
Publisher | IEEE |
Pages | 73-84 |
DOIs | |
Publication status | Published - 2011 |
ID: 17558009