scientific article; zbMATH DE number 7340138
From MaRDI portal
Publication:4986504
zbMath1459.68120MaRDI QIDQ4986504
Manuel Vargas Guzmán, Etienne Lozes, Martin Lange
Publication date: 27 April 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.4
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)
Related Items (1)
This page was built for publication:
