Skip to content

Visual Specifications of Policies and Their Verification.

Manuel Koch, Francesco Parisi-Presicce

VenueBFASE
Year2003
ProceedingsFASE

Browse the full FASE paper archive.