×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

100
MathJax
Ciancarini, Paolo (ed.) et al., Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6.1 3rd international conference, Florence, Italy, February 15–18, 1999. Boston: Kluwer Academic Publishers. IFIP, International Federation for Information Processing. 10, 353-369 (1999).
MSC:  68Q55
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
Year of Publication
all top 3
Classification
Software