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

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

Research output: Contribution to journalArticle

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