Return to Article Details
Automatic verification of multi-agent systems security properties specified with LTL
Download
Download PDF