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)
(remove)
Document Type
Doctoral Thesis
(1)
Language
German (1)
(remove)
Has Fulltext
yes
(1)
Keywords
Controller Synthesis
(1)
Symbolic Methods
(1)
Temporal Logic
(1)
Faculty / Organisational entity
Kaiserslautern - Fachbereich Informatik
(1)
1
search hit
1
to
1
10
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