ISBN9783642134630 (ISBN-13 : pbk.)
3642134637 (pbk.)
数量xii, 231 p. : ill. ; 24 cm.
一般注記An abstract and papers.
" (...) IFIP International Conference on Formal Techniques for Distributed Systems. The conference was organized as the joint activity of two conferences: FMOODS (...) and FORTE (...) " -- pref.
"FMOODS/FORTE was part of the federated conference event DisCoTec (...) which also included (...) (CORDINATION) and (...) (DAIS) ." -- pref.
書誌注記Includes bibliographical references and author index.