Advances in verification of time petri nets and timed automata : a temporal logic approach

著者

書誌事項

Advances in verification of time petri nets and timed automata : a temporal logic approach

Wojciech Penczek ; Agata Polrola

(Studies in computational intelligence, v. 20)

Springer Berlin, 2006

大学図書館所蔵 件 / 8

この図書・雑誌をさがす

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA77763982
  • ISBN
    • 9783540328698
  • 出版国コード
    gw
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Berlin
  • ページ数/冊数
    xxxii, 257 p.
  • 大きさ
    25 cm
  • 分類
  • 親書誌ID
ページトップへ