External Links

Cite Key

Statistics

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

PDF

Tags

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.

Operational and Logical Semantics for Polling Real-Time Systems

Henning Dierks, Ansgar Fehnker, Angelika Mader, Frits W. Vaandrager. Operational and Logical Semantics for Polling Real-Time Systems. In Anders P. Ravn, Hans Rischel, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT 98, Lyngby, Denmark, September 14-18, 1998, Proceedings. Volume 1486 of Lecture Notes in Computer Science, pages 29-40, Springer, 1998. [doi]

Authors

Henning Dierks

This author has not been identified. Look up 'Henning Dierks' in Google

Ansgar Fehnker

This author has not been identified. Look up 'Ansgar Fehnker' in Google

Angelika Mader

This author has not been identified. Look up 'Angelika Mader' in Google

Frits W. Vaandrager

Identified as Frits W. Vaandrager
runs on