文献
J-GLOBAL ID:200902169349383744
整理番号:93A0983662
A Compositional Proof Theory for Fault Tolerant Real-Time Distributed Systems.
著者 (2件):
SCHEPERS H
(Eindhoven Univ. Technology, Eindhoven, NLD)
,
GERTH R
(Eindhoven Univ. Technology, Eindhoven, NLD)
資料名:
Proceedings. Symposium on Reliable Distributed Systems
(Proceedings. Symposium on Reliable Distributed Systems)
巻:
12th
ページ:
34-43
発行年:
1993年
JST資料番号:
W0081A
資料種別:
会議録 (C)
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)