Mircea Sebe

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 2

Top Topics

Coloured Petri Nets

Formal Verification

Regular Languages

Top Venues

Publications

Nishant Rodrigues, Mircea Sebe, Xiaohong Chen, Grigore Rosu
A Logical Treatment of Finite Automata. TACAS (1) (2024)
Elaine Li, Karl Palmskog, Mircea Sebe, Grigore Rosu
Specification of the Giskard Consensus Protocol. CoRR (2020)