scientific article
From MaRDI portal
Publication:2722046
zbMath0966.68121MaRDI QIDQ2722046
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Query-Based Model Checking of Ad Hoc Network Protocols ⋮ Rewriting modulo SMT and open system analysis ⋮ A global constraint for over-approximation of real-time streams ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ Generalized rewrite theories, coherence completion, and symbolic methods
Uses Software
This page was built for publication:
