5 results on '"Fabio Massacci"'
Search Results
2. Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison.
3. Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.
4. Tableaux Methods for Access Control in Distributed Systems.
5. Automated Reasoning and the Verification of Security Protocols.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.