Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Shimpei Sasaki

Verification of Invariant Properties of Business Process Based on Formal Approach

English