Cited By
View all- Costa GMerlo AVerderame LArmando A(2018)Automatic security verification of mobile app configurationsFuture Generation Computer Systems10.1016/j.future.2016.06.01480:C(519-536)Online publication date: 1-Mar-2018
- Akroun LSalaün G(2018)Automated verification of automata communicating via FIFO and bag buffersFormal Methods in System Design10.1007/s10703-017-0285-852:3(260-276)Online publication date: 1-Jun-2018
- van Glabbeek RAceto LIngólfsdóttir A(2017)Lean and full congruence formats for recursionProceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science10.5555/3329995.3330077(1-11)Online publication date: 20-Jun-2017
- Show More Cited By