Theoretical Aspects of Computing – ICTAC 2005

DOI10.1007/11560647zbMath1169.68503OpenAlexW4300984554MaRDI QIDQ5395116

Ernst-Erich Doberkat

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

Logical characterization of fluid equivalences

This page was built for publication: Theoretical Aspects of Computing – ICTAC 2005