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 × Hungary
1 × Spain
Collaborated with:
M.Lange É.Lozes
Talks about:
simul (2) büchi (2) game (2) automata (1) conceal (1) reveal (1) inclus (1) buffer (1) more (1)

Person: Milka Hutagalung

DBLP DBLP: Hutagalung:Milka

Contributed to:

AFL 20142014
LATA 20132013

Wrote 2 papers:

AFL-2014-HutagalungLL #automaton #game studies #simulation
Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
LATA-2013-HutagalungLL #automaton #game studies #simulation
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.

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.