BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bartha:Mikl=oacute=s

Contributed to:

AFL 20082008
CIAA 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.