Login / Signup
Cheng Bin
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Knowledge Representation
Reactive Systems
Business Process Models
Formal Semantics
Top Venues
iThings/GreenCom/CPSCom/SmartData
</>
Publications
</>
Liping Liu
,
Linlin Ci
,
Wei Liu
,
Cheng Bin
Control-Flow Checking Using Branch Sequence Signatures.
iThings/GreenCom/CPSCom/SmartData
(2016)