Formal Techniques for Distributed SystemsJohn Hatcliff,Elena Zucca · First published 2011Open the Tome
Formal Techniques for Distributed SystemsJohn Hatcliff, Elena Zucca · First published 2010Open the Tome
