scientific article; zbMATH DE number 1487855
From MaRDI portal
Publication:4494380
zbMath0957.68080MaRDI QIDQ4494380
Marius Bozga, Lucian Ghirvu, Jean-Claude Fernandez
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
State space reduction for process algebra specifications ⋮ On partial state matching ⋮ Application of static analyses for state-space reduction to the microcontroller binary code ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction
This page was built for publication: