scientific article; zbMATH DE number 1258216

zbMath0915.68006MaRDI QIDQ4229096

Michaela Huhn

Publication date: 3 March 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

design of distributed systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (1)

Towards the hierarchical verification of reactive systems

This page was built for publication: