scientific article; zbMATH DE number 7297813
From MaRDI portal
Publication:5144611
zbMath1457.68164arXiv1610.01470MaRDI QIDQ5144611
Patrick Totzke, Jérôme Leroux, Piotr Hofman
Publication date: 19 January 2021
Full work available at URL: https://arxiv.org/abs/1610.01470
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) Data structures (68P05)
Related Items (3)
Linear equations for unordered data vectors in $[D^k\to{}Z^d$] ⋮ Unnamed Item ⋮ Directed reachability for infinite-state systems
This page was built for publication:
