unknown

Correctness Properties for Workflows with Multiple Starts and/or Ends

Authors
Publication date
3 March 2008
Publisher

Abstract

5th VERITE : JAIST/TRUST-AIST/CVS joint workshop on VERIfication TEchnologyでの発表資料, 開催：2008年3月3日, 開催場所：北陸先端科学技術大学院大学・情報科学研究科棟 5F コラボレーションルーム７JAIST 21世紀COEシンポジウム 2008「検証進化可能電子社会」と共

    Similar works

    Full text

    thumbnail-image

    Available Versions

    JAIST Repository

    redirect
    oaioai:dspace.jaist.ac.jp:10119/8...
    Last time updated on 16/11/2016