Brief announcement: parameterized model checking of fault-tolerant distributed algorithms by abstraction | 2 | 0.37 | 2013 |
Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms. | 11 | 0.53 | 2013 |
Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms | 3 | 0.38 | 2012 |
Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms | 5 | 0.45 | 2012 |
Migrating Home Computer Audio Waveforms to Digital Objects: A Case Study on Digital Archaeology. | 1 | 0.37 | 2011 |
Digital Archeology: Recovering Digital Objects from Audio Waveforms | 0 | 0.34 | 2009 |