Login / Signup
Jüri Vain
ORCID
Publication Activity (10 Years)
Years Active: 1991-2023
Publications (10 Years): 25
Top Topics
Distributed Systems
Timed Automata
Test Generation
Markov Model
Top Venues
DB&IS
DB&IS (Selected Papers)
ICSOFT (Selected Papers)
ETFA
</>
Publications
</>