scientific article; zbMATH DE number 1232238
From MaRDI portal
Publication:4223064
zbMath0907.68131MaRDI QIDQ4223064
Zakaria Bouziane, Alain Finkel
Publication date: 3 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Verification of Flat FIFO Systems ⋮ Verification of population protocols ⋮ Vector Addition System Reversible Reachability Problem ⋮ Unnamed Item ⋮ Acyclic and Cyclic Reversing Computations in Petri Nets ⋮ Investigating Reversibility of Steps in Petri Nets
This page was built for publication: