A bisimulation for dynamic sealing

Eijiro Sumii, Benjamin C. Pierce

Research output: Contribution to journalConference articlepeer-review

21 Citations (Scopus)

Fingerprint

Dive into the research topics of 'A bisimulation for dynamic sealing'. Together they form a unique fingerprint.

Engineering & Materials Science