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.

Specification and Analysis of Resource-Bound Real-Time Systems

Richard Gerber, Insup Lee. Specification and Analysis of Resource-Bound Real-Time Systems. In J. W. de Bakker, Cornelis Huizing, Willem P. de Roever, Grzegorz Rozenberg, editors, Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings. Volume 600 of Lecture Notes in Computer Science, pages 371-396, Springer, 1991.

Authors

Richard Gerber

This author has not been identified. Look up 'Richard Gerber' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google
runs on