Login / Signup
Radu Mardare
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 42
Top Topics
Complete Axiomatization
Modal Logic
Markov Chain
Markov Processes
Top Venues
CoRR
LICS
Log. Methods Comput. Sci.
MFPS
</>
Publications
</>