Matching linear and non-linear trace patterns with regular policies
Citation
Baader, F, Bauer, A & Tiu, A 2008, 'Matching linear and non-linear trace patterns with regular policies', International Workshop on Unification (UNIF 2008), ed. Mircea Marin, Conference Organising Committee, Linz, Austria, pp. 16-24.Year
2008ANU Authors
Fields of Research
- Analysis Of Algorithms And Complexity
- Computer System Security
- Software Engineering