Travelled to:1 × France
1 × Hungary
Collaborated with:∅
Talks about:equival (2) synchron (1) automata (1) circuit (1) strong (1) scheme (1) simul (1) retim (1)
Person: Miklós Bartha
DBLP: Bartha:Mikl=oacute=s
Contributed to:
2008
2005Wrote 2 papers:
- AFL-2008-Bartha #automaton #equivalence #simulation
- Simulation equivalence of automata and circuits (MB), pp. 86–99.
- CIAA-2005-Bartha #equivalence
- Strong Retiming Equivalence of Synchronous Schemes (MB), pp. 66–77.