Login / Signup
Maciej Szreter
Publication Activity (10 Years)
Years Active: 2000-2017
Publications (10 Years): 2
Top Topics
Partial Order
Linear Temporal Logic
Web Service Composition
Bounded Model Checking
Top Venues
Fundam. Informaticae
CS&P
Auton. Agents Multi Agent Syst.
Ershov Memorial Conference
</>
Publications
</>