%0 Conference Paper %1 conf/unif/BaaderBT08 %A Baader, Franz %A Bauer, Andreas %A Tiu, Alwen %B UNIF %D 2008 %E Marin, Mircea %K dblp %P 16-24 %T Matching linear and non-linear trace patterns with regular policies. %U http://dblp.uni-trier.de/db/conf/unif/unif2008.html#BaaderBT08

@inproceedings{conf/unif/BaaderBT08, added-at = {2023-09-19T00:00:00.000+0200}, author = {Baader, Franz and Bauer, Andreas and Tiu, Alwen}, biburl = {https://www.bibsonomy.org/bibtex/248eab0114f023ecbd3f747a95a63bc6a/dblp}, booktitle = {UNIF}, crossref = {conf/unif/2008}, editor = {Marin, Mircea}, ee = {https://www3.risc.jku.at/publications/download/risc_3454/UNIF_proceedings.pdf#page=24}, interhash = {b6f95c509732b85ef0c77e525611641a}, intrahash = {48eab0114f023ecbd3f747a95a63bc6a}, keywords = {dblp}, pages = {16-24}, timestamp = {2024-04-09T13:16:48.000+0200}, title = {Matching linear and non-linear trace patterns with regular policies.}, url = {http://dblp.uni-trier.de/db/conf/unif/unif2008.html#BaaderBT08}, year = 2008 }