BibTeX record conf/sycss/CernaSK16

download as .bib file

@inproceedings{DBLP:conf/sycss/CernaSK16,
  author    = {David M. Cerna and
               Wolfgang Schreiner and
               Temur Kutsia},
  title     = {Space Analysis of a Predicate Logic Fragment for the Specification
               of Stream Monitors},
  booktitle = {{SCSS}},
  series    = {EPiC Series in Computing},
  volume    = {39},
  pages     = {29--41},
  publisher = {EasyChair},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics