Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 1.


Webster, MP ORCID: 0000-0002-8817-6881, Breza, Michael, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862 and McCann, Julie
PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]

This list was generated on Fri Apr 30 03:51:03 2021 BST.