Burkart, Olaf.
Burkart, Olaf 1964-
VIAF ID: 71563971 ( Personal )
Permalink: http://viaf.org/viaf/71563971
Preferred Forms
-
- 200 _ | ‡a Burkart ‡b Olaf
- 100 1 _ ‡a Burkart, Olaf
- 100 1 _ ‡a Burkart, Olaf
-
-
- 100 1 0 ‡a Burkart, Olaf
-
-
- 100 1 _ ‡a Burkart, Olaf
- 100 1 _ ‡a Burkart, Olaf ‡d 1964-
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Automatic verification of sequential infinite-state processes | |
elementary bisimulation decision procedure for arbitrary context free processes | |
Model-checking of infinite graphs defined by graph grammars | |
Pushdown processes parallel composition and model checking |