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.

Computing Quantitative Characteristics of Finite-State Real-Time Systems

Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi. Computing Quantitative Characteristics of Finite-State Real-Time Systems. In Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS 94), San Juan, Puerto Rico, December 7-9, 1994. pages 266-270, IEEE Computer Society, 1994.

Authors

Sérgio Vale Aguiar Campos

This author has not been identified. Look up 'Sérgio Vale Aguiar Campos' in Google

Edmund M. Clarke

This author has not been identified. Look up 'Edmund M. Clarke' in Google

Wilfredo R. Marrero

This author has not been identified. Look up 'Wilfredo R. Marrero' in Google

Marius Minea

This author has not been identified. It may be one of the following persons: Look up 'Marius Minea' in Google

Hiromi Hiraishi

This author has not been identified. Look up 'Hiromi Hiraishi' in Google
runs on