NobleBlocks
Public

Model checking commitment protocols

Published in International Conference Industrial, Engineering & Other Applications Applied Intelligent Systems • Jun 28, 2011
Authors:
Mohamed El-Menshawy
,
Jamal Bentahar
,
Rachida Dssouli
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!