Global Computing

DOI10.1007/B103251MaRDI QIDQ5464839zbMATH OpenOpenAlexFDO

Authors Hubert Baumeister, Diego Latella, Mieke Massink, Martin Wirsing

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b103251

Mathematics Subject Classification ID

Distributed systems (68M14) Theory of software (68N99)

Recommendations

• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1951128
• scientific article; zbMATH DE number 2016088
• scientific article; zbMATH DE number 2006503
• scientific article; zbMATH DE number 1670514

Cited in

(4)

• Specification and refinement of mobile systems in MTLA and mobile UML
• On testing UML statecharts
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 1951128 (Why is no real title available?)

This page was built for publication: Global Computing

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