DMCA

Efficient Model Checking of Fault-Tolerant Distributed Protocols

by Péter Bokor , Johannes Kinder , Marco Serafini , Neeraj Suri , Technische Universität Darmstadt
Citations:6 - 1 self