Katalog der Deutschen Nationalbibliothek

Go to:

Catalogue (Beta)

Media

Available in Frankfurt
Available in Frankfurt
Available in Leipzig
Available in Leipzig

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

From LTL to deterministic automata : A safraless compositional approach

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

Title

From LTL to deterministic automata : A safraless compositional approach

Involved 

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

Published in

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

Published

2016

Language

Englisch

Country

Niederlande

Subject

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)

Record ID

1122305753
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal