Login / Signup
Maro Duricek
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Software Testing
Transition Systems
Business Process Models
Formal Semantics
Top Venues
ECBS-EERC
</>
Publications
</>
Maro Duricek
,
Tibor Krajcovic
Hybrid Control-Flow Checking with On-Line Statistics.
ECBS-EERC
(2015)