Computer Science Logic

DOI10.1007/B13224zbMATH Open1116.68542OpenAlexW2623947920MaRDI QIDQ5292669

Igor Walukiewicz

Publication date: 21 June 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b13224

Mathematics Subject Classification ID

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)

Winning controllers and regions in competitive nonlinear dynamic games with two qualitative objectives and uncertain information

This page was built for publication: Computer Science Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5292669)