scientific article; zbMATH DE number 2143088
From MaRDI portal
Publication:4654725
zbMath1088.68643MaRDI QIDQ4654725
Jochen Hoenicke, Ernst-Ruediger Olderog
Publication date: 8 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Ernst-Rüdiger Olderog: A Life for Meaning ⋮ Model checking duration calculus: a practical approach ⋮ Reachability results for timed automata with unbounded data structures ⋮ Slicing techniques for verification re-use ⋮ Automatic Verification of Combined Specifications: An Overview
Uses Software
This page was built for publication:
