K. L. Man

Available identifiers

Publication	Date of Publication	Type
Timed Chi: modeling, simulation and verification of hardware systems	2017-03-29	Paper
Relating hybrid chi to other formalisms	2013-12-06	Paper
Formal specification and analysis of hardware systems in timed Chi	2009-01-15	Paper
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)	2009-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q5757092	2007-08-24	Paper
Syntax and consistent equation semantics of hybrid Chi	2006-04-28	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper

This page was built for person: K. L. Man