PTL sequent calculus system

From MaRDI portal

Publication:1895457

Jump to:navigation, search

zbMath0836.68104MaRDI QIDQ1895457

Huowang Chen, Bingshan Wang, Kerong Ben

Publication date: 16 August 1995

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

zbMATH Keywords

temporal logic concurrent program verification

Mathematics Subject Classification ID

This page was built for publication: PTL sequent calculus system

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