A Distributed CTL Model Checker

No ratings

Presented at SECrypt 2013 by

Laura Cacovean

Florian Boian

Florin Stoica

N/A