BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Japan
Collaborated with:
N.Benes K.G.Larsen J.Srba
Talks about:
time (2) parametr (1) automata (1) languag (1) continu (1) empti (1)

Person: Peter Bezdek

DBLP DBLP: Bezdek:Peter

Contributed to:

ICALP (2) 20152015

Wrote 1 papers:

ICALP-v2-2015-BenesBLS #automaton #parametricity
Language Emptiness of Continuous-Time Parametric Timed Automata (NB, PB, KGL, JS), pp. 69–81.
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.