A higher-order duration calculus and its completeness

From MaRDI portal

Revision as of 16:31, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:866220

Jump to:navigation, search

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:866220&oldid=12820998"