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 × United Kingdom
Collaborated with:
L.Holík O.Lengál A.Rogalewicz J.Simácek T.Vojnar
Talks about:
contribut (1) competit (1) automata (1) analysi (1) forest (1) shape (1) tree (1) use (1)

Person: Martin Hruska

DBLP DBLP: Hruska:Martin

Contributed to:

TACAS 20152015

Wrote 1 papers:

TACAS-2015-HolikHLRSV #analysis #automaton #contest #named #using
Forester: Shape Analysis Using Tree Automata — (Competition Contribution) (LH, MH, OL, AR, JS, TV), pp. 432–435.

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.