Synthesis of communicating processes from temporal logic specifications

著者

• Wolper, Pierre

書誌事項

Synthesis of communicating processes from temporal logic specifications

Pierre Léon Wolper

University Microfilms International, 1985

注記

Thesis(Ph.D.)--Stanford University, 1982

• NII書誌ID(NCID): BA3629118X
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Ann Arbor
• ページ数/冊数: x, 111 p.
• 大きさ: 22 cm