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

2008

ANU Authors

Fields of Research

  • Analysis Of Algorithms And Complexity
  • Computer System Security
  • Software Engineering

Updated:  27 April 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers