scientific article; zbMATH DE number 6795378
From MaRDI portal
Publication:5368011
zbMath1389.03007MaRDI QIDQ5368011
Guowu Wang, Haiyu Pan, Yingxiong Shen
Publication date: 20 October 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fuzzy automataformal verificationHennessy-Milner logiccomplete residuated latticeslabel transition system
Formal languages and automata (68Q45) Fuzzy logic; logic of vagueness (03B52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
