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.

Dealing with different time scales in formal specifications

Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto. Dealing with different time scales in formal specifications. In Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman, editors, Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. pages 92-101, IEEE Computer Society, 1991. [doi]

Authors

Edoardo Corsetti

This author has not been identified. Look up 'Edoardo Corsetti' in Google

Ernani Crivelli

This author has not been identified. Look up 'Ernani Crivelli' in Google

Dino Mandrioli

This author has not been identified. Look up 'Dino Mandrioli' in Google

Angelo Montanari

This author has not been identified. Look up 'Angelo Montanari' in Google

Angelo Morzenti

This author has not been identified. Look up 'Angelo Morzenti' in Google

Pierluigi San Pietro

This author has not been identified. Look up 'Pierluigi San Pietro' in Google

Elena Ratto

This author has not been identified. Look up 'Elena Ratto' in Google
runs on