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.

Expressiveness of Timed Events and Timed Languages

Diletta Cacciagrano, Flavio Corradini. Expressiveness of Timed Events and Timed Languages. In Marco Bernardo, Flavio Corradini, editors, Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures. Volume 3185 of Lecture Notes in Computer Science, pages 98-131, Springer, 2004. [doi]

Abstract

Abstract is missing.

runs on