Sign in

Matching Trace Patterns with Regular Policies.

Franz BaaderAndreas BauerAlwen Tiu
Published in: LATA (2009)
Keyphrases