scientific article
From MaRDI portal
Publication:2754044
zbMath0974.68190MaRDI QIDQ2754044
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system ⋮ A formally verified proof of the central limit theorem ⋮ Verification of distributed systems with local-global predicates ⋮ A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ⋮ Hidden verification for computational mathematics
Uses Software
This page was built for publication:
