Login / Signup
Józef Winkowski
Publication Activity (10 Years)
Years Active: 1974-2017
Publications (10 Years): 1
Top Topics
Model Checker
Control Flow
Practical Reasoning
Transition Systems
Top Venues
Trans. Petri Nets Other Model. Concurr.
</>
Publications
</>