scientific article

DOI10.13328/J.CNKI.JOS.004738zbMath1349.68121MaRDI QIDQ2993207

Lingzhong Zhao, Zhongyi Zhai, Yunchuan Guo, Junyan Qian

Publication date: 10 August 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model checkinglinear temporal logiccommunicating sequential processescritical-trace model

Mathematics Subject Classification ID

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

This page was built for publication: