C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Policy enforcement and verification with Timed Modeling Spider Diagrams.
Paolo Bottoni
Andrew Fish
Published in:
VL/HCC (2013)
Keyphrases
</>
colored petri nets
petri net
policy enforcement
databases
model checking