Skip to main content

Matching trace patterns with regular policies

Authors

Franz Baader, Andreas Bauer and Alwen Tiu

Australian National University

NICTA

Abstract

BibTeX Entry

  @inproceedings{Baader_BT_09,
    publisher        = {Springer},
    isbn             = {978-3-642-00981-5},
    author           = {Baader, Franz and Bauer, Andreas and Tiu, Alwen},
    month            = nov,
    editor           = {{A. Horia Dediu, A.-M. Ionescu, C. Martín-Vide}},
    year             = {2009},
    title            = {Matching trace patterns with regular policies},
    booktitle        = {3rd International Conference on Language and Automata Theory and Applications (LATA)},
    pages            = {105--116},
    address          = {Spain}
  }

Download

Served by Apache on Linux on seL4.