Treffer: Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
International School on Formal Methods for the Design of Computer, Communication, and Software Systems; Formal methods for executable software models

Gmeiner, A., Konnov, I., Schmid, U., Veith, H., Widder, J.

LECTURE NOTES IN COMPUTER SCIENCE. (8483):122-171

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN087259546&indx=1&recIds=ETOCCN087259546

British Library Document Supply Centre Inside Serials & Conference Proceedings