Parameterized model checking for security policy analysis

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, December 2015

Altmetric Badge

About this Attention Score

So far, Altmetric has seen 3 X posts from 2 X users, with an upper bound of 1,540 followers.

Parameterized model checking for security policy analysis - Online First - Springer https://t.co/DsdwgFt4lk

Parameterized model checking for security policy analysis - Online First - Springer https://t.co/vF5u0Goxc2

Serving lots of users? Parameterized model checking for security policy analysis - Online First - Springer https://t.co/vF5u0Goxc2