Theoretical Computer Science

DOI10.1007/11560586zbMath1171.68548OpenAlexW2603408665MaRDI QIDQ5395079

Dirk Vermeir, Stijn Heymans, Davy Van Nieuwenborgh

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/11560586

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Temporal logic (03B44)

Uses Software

• Smodels

This page was built for publication: Theoretical Computer Science