scientific article; zbMATH DE number 7478013
From MaRDI portal
Publication:5035505
zbMath1483.68239MaRDI QIDQ5035505
Wei Yan, Jinzhao Wu, Xinyan Gao
Publication date: 22 February 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication:
