Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Richard Banach, Michael J. Butler, Shengchao Qin, Huibiao Zhu. Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines. Science of Computer Programming, 139:1-35, 2017. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL