A higher-order duration calculus and its completeness

zbMath1161.68594MaRDI QIDQ866220

Naijun Zhan

Publication date: 20 February 2007

Published in: Science in China. Series E (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: A higher-order duration calculus and its completeness