scientific article
From MaRDI portal
Publication:2709808
zbMath0970.68103MaRDI QIDQ2709808
Dominique Cansell, Stephan Merz, Dominique Méry
Publication date: 13 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Formal verification of mobile robot protocols ⋮ Predicate diagrams for the verification of real-time systems
Uses Software
This page was built for publication:
