scientific article; zbMATH DE number 7361373

zbMath1464.68162arXiv1402.6783MaRDI QIDQ4994710

Bow-Yaw Wang, Yu-Fang Chen, Di-De Yen

Publication date: 21 June 2021

Full work available at URL: https://arxiv.org/abs/1402.6783

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)