An Interval-Based Algebra for Restricted Event Detection

Jan Carlson, Björn Lisper. An Interval-Based Algebra for Restricted Event Detection. In Kim Guldstrand Larsen, Peter Niebert, editors, Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers. Volume 2791 of Lecture Notes in Computer Science, pages 121-133, Springer, 2003. [doi]

@inproceedings{CarlsonL03,
  title = {An Interval-Based Algebra for Restricted Event Detection},
  author = {Jan Carlson and Björn Lisper},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2791&spage=121},
  tags = {rule-based,  algebra},
  researchr = {https://researchr.org/publication/CarlsonL03},
  cites = {0},
  citedby = {0},
  pages = {121-133},
  booktitle = {Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers},
  editor = {Kim Guldstrand Larsen and Peter Niebert},
  volume = {2791},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21671-5},
}