ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Automating Open Bisimulation Checking for the Spi Calculus
2010 23rd IEEE Computer Security Foundations Symposium
◽
10.1109/csf.2010.28
◽
2010
◽
Cited By ~ 31
Author(s):
Alwen Tiu
◽
Jeremy Dawson
Get full-text (via PubEx)
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close