scientific article; zbMATH DE number 3997152

zbMATH Open0615.68023MaRDI QIDQ4723288FDOQ4723288

Authors: Ulla Gamwell Dawids, Hans Henrik Loevengreen 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3898215
• Specification and verification of distributed systems by means of the elementary-REAL language
• scientific article; zbMATH DE number 5262134
• scientific article; zbMATH DE number 1875354
• Specification styles in distributed systems design and verification

zbMATH Keywords

concurrencydistributed systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited In (2)

• Title not available (Why is that?)
• A design method for embedded software systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723288)