SOFSEM 2006: Theory and Practice of Computer Science

DOI10.1007/11611257zbMath1175.68275OpenAlexW2756057450MaRDI QIDQ5897984

Donghuo Chen, Jinzhao Wu

Publication date: 14 November 2006

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

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

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) Temporal logic (03B44)

Related Items (1)

Paraconsistent computation tree logic

This page was built for publication: SOFSEM 2006: Theory and Practice of Computer Science