Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors

David Cerna, Wolfgang Schreiner, Temur Kutsia. Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 29-41, EasyChair, 2016. [doi]

@inproceedings{CernaSK16,
  title = {Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors},
  author = {David Cerna and Wolfgang Schreiner and Temur Kutsia},
  year = {2016},
  url = {http://www.easychair.org/publications/paper/Space_Analysis_of_a_Predicate_Logic_Fragment_for_the_Specification_of_Stream_Monitors},
  researchr = {https://researchr.org/publication/CernaSK16},
  cites = {0},
  citedby = {0},
  pages = {29-41},
  booktitle = {7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016},
  editor = {James H. Davenport and Fadoua Ghourabi},
  volume = {39},
  series = {EPiC Series in Computing},
  publisher = {EasyChair},
}