RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Faculties / Organisational entities
Kaiserslautern - Fachbereich Informatik
Refine
Author
Morgenstern, Andreas
(1)
Year of publication
2010
(1)
Document Type
Doctoral Thesis
(1)
Language
German
(1)
Has Fulltext
yes
(1)
Keywords
Controller Synthesis (1)
(remove)
Faculty / Organisational entity
Kaiserslautern - Fachbereich Informatik
(1)
1
search hit
1
to
1
20
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