scientific article

DOI10.13328/J.CNKI.JOS.004982zbMath1363.68096MaRDI QIDQ2824414

Tieming Chen, Ting Wang, Yang Liu

Publication date: 6 October 2016

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

zbMATH Keywords

simulationtimed automatarefinement checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: