Pages that link to "Item:Q3075481"

The following pages link to Access Nets: Modeling Access to Physical Spaces (Q3075481):

Displaying 2 items.

• Symbolic backward reachability with effectively propositional logic. Application to security policy analysis (Q2441771) (← links)
• Access Nets: Modeling Access to Physical Spaces (Q3075481) (← links)