scientific article
From MaRDI portal
Publication:2767073
zbMath0983.68119MaRDI QIDQ2767073
Publication date: 28 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (3)
Extending Co-logic Programs for Branching-Time Model Checking ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Analysis of Linear Hybrid Systems in CLP
This page was built for publication:
