scientific article

DOI10.15983/J.CNKI.JSNU.2015.04.145zbMATH Open1340.68046MaRDI QIDQ3461727

Xingxing Zhang, Nanyi Deng, Yongming Li

Publication date: 15 January 2016

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingfixed-point semanticscomputation-tree logicgeneralized possibility measures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) 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 Q3461727)