Hugging Peers

Matching linear and non-linear trace patterns with regular policies

☆ Save
Franz Baader,Andreas Bauer,Alwen Tiu
UNIF
published

Abstract

No abstract available.

Cite this paper

@article{baader2008,
  title = {Matching linear and non-linear trace patterns with regular policies},
  author = {Franz Baader and Andreas Bauer and Alwen Tiu},
  journal = {UNIF},
  year = {2008},
  month = {Jan},
}