Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8--9, 2015. Proceedings
From MaRDI portal
Publication:493902
DOI10.1007/978-3-319-23506-6zbMath1320.68024OpenAlexW2495968914MaRDI QIDQ493902
No author found.
Publication date: 4 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Verification of finite-state machines: a distributed approach ⋮ Interleaving vs True Concurrency: Some Instructive Security Examples
