scientific article; zbMATH DE number 7297816

zbMath1457.68178MaRDI QIDQ5144614

Christoph Haase, Michael Blondin

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Separators in Continuous Petri Nets ⋮ Separators in continuous Petri nets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Continuous One-counter Automata

This page was built for publication: