scientific article; zbMATH DE number 1304365
From MaRDI portal
Publication:4251097
zbMath0928.68047MaRDI QIDQ4251097
Kaisa Sere, Marcello M. Bonsangue, Joost N. Kok
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Verification and refinement with fine-grained action-based concurrent objects ⋮ Kaisa Sere: in memoriam
This page was built for publication: