scientific article; zbMATH DE number 7167586
From MaRDI portal
Publication:5216078
zbMath1433.68217arXiv1410.7469MaRDI QIDQ5216078
Michele Loreti, Diego Latella, Mieke Massink
Publication date: 14 February 2020
Full work available at URL: https://arxiv.org/abs/1410.7469
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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:
