scientific article
From MaRDI portal
Publication:2722049
zbMath0966.68505MaRDI QIDQ2722049
Masato Takeichi, Wei-Ngan Chin, Zhenjiang Hu, Siau-Cheng Khoo
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items