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, Fisher, Michael and McCann, Julie PRISM Models and Properties for Formal Verification of a Synchronisation/Dissemination Protocol. [Software]

This list was generated on Wed Oct 4 00:50:35 2023 BST.