RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Faculties / Organisational entities
Kaiserslautern - Fachbereich Informatik
Refine
Author
Morgenstern, Andreas (1)
(remove)
Year of publication
2010 (1)
(remove)
Document Type
Doctoral Thesis
(1)
Language
German
(1)
Has Fulltext
yes
(1)
Keywords
Symbolic Methods (1)
(remove)
Faculty / Organisational entity
Kaiserslautern - Fachbereich Informatik
(1)
1
search hit
1
to
1
50
10
20
50
100
Symbolic Controller Synthesis for LTL Specifications
(2010)
Morgenstern, Andreas
Symbolische Überwachersynthese für LTL Spezifikationen
1
to
1
Sitelinks
|
KLUEDO
Logo ©
Univerity Library of RPTU
,
OPUS
4 ©
KOBV
Login