Login / Signup
D. A. Chkliaev
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Streaming Data
Model Checker
Formal Analysis
Sliding Window
Top Venues
Autom. Control. Comput. Sci.
</>
Publications
</>
D. A. Chkliaev
,
Valery A. Nepomniaschy
Deductive verification of the Sliding Window Protocol.
Autom. Control. Comput. Sci.
47 (7) (2013)