Operational semantics of hybrid systems

Operational semantics of hybrid systems (2007)

by Haiyang Zheng

Citations:

47 - 22 self

@MISC{Zheng07operationalsemantics,
    author = {Haiyang Zheng},
    title = {Operational semantics of hybrid systems},
    year = {2007}
}