Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About FAQ Developers Terms Policy Persistence & Resolver Service Policy

Semantic Logical Relations for Timed Message-Passing Protocols (Artifact) | NobleID

v1

Semantic Logical Relations for Timed Message-Passing Protocols (Artifact)

Yao, Yue, Iraci, Grant and 6 more

Y

Yao

NobleIDNI2P95W23R41S12

Type:Journal Article

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.