Appendices C-G to "Repairing time-determinism in the process algebra for hybrid systems ACPhssrt"

U. Khadim, P.J.L. Cuijpers

Research output: Book/ReportReportAcademic

41 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Appendices C-G to "Repairing time-determinism in the process algebra for hybrid systems ACPhssrt"'. Together they form a unique fingerprint.

Mathematics