Model checking of real-time properties of resource-bound process algebra

Junkil Park, Jungjae Lee, Jin Young Choi, Insup Lee

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Model checking of real-time properties of resource-bound process algebra'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science