scientific article; zbMATH DE number 6280008
From MaRDI portal
Publication:5407112
zbMath1284.68434MaRDI QIDQ5407112
Agnieszka M. Zbrzezny, Bożena Woźna-Szcześniak, Andrzej Zbrzezny
Publication date: 4 April 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Traffic problems in operations research (90B20) 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:
