Verifying temporal properties of systems with applications to Petri nets
著者
書誌事項
Verifying temporal properties of systems with applications to Petri nets
University of Edinburgh, Department of Computer Science, 1991
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliography (p. 102-106)
Author's thesis (Ph.D.)--University of Edinbungh, 1991
CST-83-91 (also published as ECS-LFCS-91-172)
