scientific article; zbMATH DE number 6300110

MaRDI QIDQ5418261zbMATH OpenFDO

Authors Zhenhua Duan, Cong Tian

Publication date 3 June 2014

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5418261)