Communicating TILCO: A Model for Real-Time System Specification

Pierfrancesco Bellini, Paolo Nesi. Communicating TILCO: A Model for Real-Time System Specification. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 4-14, IEEE Computer Society, 2001. [doi]

Authors

Pierfrancesco Bellini

This author has not been identified. Look up 'Pierfrancesco Bellini' in Google

Paolo Nesi

This author has not been identified. Look up 'Paolo Nesi' in Google