Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Kenneth Pierce

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

English