Mosbah, Mohamed, France
-
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Proving Distributed Algorithms by Combining Refinement and Local Computations
Abstract PDF -
Volume 39: Graph Computation Models 2010 - Preface
Graph Computation Models
Details PDF -
Volume 71: Graph Computation Models 2014 - Preface
Preface
Details PDF
Hosted By Universitätsbibliothek TU Berlin.