On Specifying Services and Synthesizing Protocols for Real-Time Applications

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-34867-4_12
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US