Katalog der Deutschen Nationalbibliothek

Springe direkt zu:

Katalog (Beta)

Medien

Verfügbar in Frankfurt
Verfügbar in Frankfurt
Verfügbar in Leipzig
Verfügbar in Leipzig

Javier Esparza, Jan Křetínský, Salomon Sickert u. a.

From LTL to deterministic automata : A safraless compositional approach

Erschienen in: Formal methods in system design : an international journal 3.12.2016

Titel

From LTL to deterministic automata : A safraless compositional approach

Beteiligt

Javier Esparza (Verfasser)
Jan Křetínský (Sonstige)
Salomon Sickert (Sonstige)
SpringerLink (Online service) (Sonstige)

Erschienen in

Formal methods in system design : an international journal 3.12.2016, Seite 1-53

Erschienen

2016

Sprache

Englisch

Land

Niederlande

Thema

Engineering.
Circuits and Systems.
Electrical Engineering.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.

Persistent Identifier

urn:nbn:de:1111-201612228736 (URN)
10.1007/s10703-016-0259-2 (DOI)

Datensatz-ID

1122305753
Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link:

DNB-Portal