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 × Germany
1 × Israel
1 × Portugal
1 × The Netherlands
Collaborated with:
Talks about:
pep (3) petri (2) tool (2) net (2) parallel (1) automata (1) program (1) compon (1) combin (1) refer (1)

Person: Bernd Grahlmann

DBLP DBLP: Grahlmann:Bernd

Contributed to:

TACAS 19981998
CAV 19971997
TACAS 19971997
TACAS 19961996

Wrote 4 papers:

TACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
The PEP Tool (BG), pp. 440–443.
TACAS-1997-Grahlmann #component
The Reference Component of PEP (BG), pp. 65–80.
TACAS-1996-GrahlmannB #named #petri net
PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.

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.