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.

Timed Operational Semantics and Well-Formedness of Shape Calculus

Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei. Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Cuza Univ., 20:32-52, 2010. [doi]

Authors

Ezio Bartocci

This author has not been identified. Look up 'Ezio Bartocci' in Google

Diletta Romana Cacciagrano

This author has not been identified. Look up 'Diletta Romana Cacciagrano' in Google

Maria Rita Di Berardini

This author has not been identified. Look up 'Maria Rita Di Berardini' in Google

Emanuela Merelli

This author has not been identified. Look up 'Emanuela Merelli' in Google

Luca Tesei

This author has not been identified. Look up 'Luca Tesei' in Google
runs on