School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Details 詳細情報について

• CRID

  1140845216591327104

• Web Site

  https://ci.nii.ac.jp/author/DA03267492#entity

  https://viaf.org/viaf/sourceID/NII%7CDA03267492

• Author ID

  DA03267492

• Data Source

  • CiNii Books