Cited By
View all- Lavado LPanizo LGallardo MMerino P(2017)A characterisation of verification tools for software defined networksJournal of Reliable Intelligent Environments10.1007/s40860-017-0045-y3:3(189-207)Online publication date: 29-Jul-2017
- Alexander PPike LLoscocco PCoker G(2015)Model Checking Distributed Mandatory Access Control PoliciesACM Transactions on Information and System Security10.1145/278596618:2(1-25)Online publication date: 15-Jul-2015
- del Mar Gallardo MMartínez JMerino P(2012)Applying Formal Methods to Telecommunication Services with Active NetworksFormal Methods for Industrial Critical Systems10.1002/9781118459898.ch6(113-132)Online publication date: 29-Nov-2012
- Show More Cited By