RPTU
University Library
Deutsch
Home
Search
Browse
Publish
FAQ
Doctoral Thesis
Refine
Author
Morgenstern, Andreas
(1)
Year of publication
2010
(1)
Document Type
Doctoral Thesis (1)
(remove)
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
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