scientific article
From MaRDI portal
Publication:3569852
zbMath1212.68089MaRDI QIDQ3569852
Bożena Woźna, Andrzej Zbrzezny
Publication date: 22 June 2010
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:
