The following pages link to K. L. Man (Q2368696):
Displayed 7 items.
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- (Q2970246) (← links)
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) (Q5302400) (← links)
- (Q5503434) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717491) (← links)
- (Q5757092) (← links)