External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

David Cerna

This author has not been identified. Look up 'David Cerna' in Google

Wolfgang Schreiner

This author has not been identified. Look up 'Wolfgang Schreiner' in Google

Temur Kutsia

This author has not been identified. It may be one of the following persons: Look up 'Temur Kutsia' in Google
runs on