scientific article
From MaRDI portal
Publication:2729077
zbMath0971.68601MaRDI QIDQ2729077
Mamoun Filali, Jean-Paul Bodeveix
Publication date: 4 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
An approach to the verification of symmetric parameterized distributed systems ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure ⋮ FMona
Uses Software
This page was built for publication:
