scientific article
From MaRDI portal
Publication:2753703
zbMath0976.68506MaRDI QIDQ2753703
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
XASM ⋮ A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
Uses Software
This page was built for publication: