scientific article; zbMATH DE number 1546500
From MaRDI portal
Publication:4522244
zbMath0965.68023MaRDI QIDQ4522244
Publication date: 19 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Specification and refinement of mobile systems in MTLA and mobile UML ⋮ Verification and refinement with fine-grained action-based concurrent objects
This page was built for publication: