Login / Signup
Marian Gheorghe
ORCID
Publication Activity (10 Years)
Years Active: 1985-2023
Publications (10 Years): 28
Top Topics
Model Checking
Stochastic Simulation
Formal Model
Finite State Machines
Top Venues
Theor. Comput. Sci.
Fundam. Informaticae
Int. Conf. on Membrane Computing
J. Membr. Comput.
</>
Publications
</>