scientific article
From MaRDI portal
Publication:3428758
zbMath1108.68544MaRDI QIDQ3428758
Balázs Ugron, László Blum, Szabolcs Hajdara, Laszlo Kozma
Publication date: 29 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) 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:
