( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.

, , и . ITP, том 141 из LIPIcs, стр. 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Julian Gonska

Mikromechanische Biegebalken als hochsensitive Sensoren. Uni Freiburg, (2009)

Julian Grapengiesser

Mit Ungewissheit planen: eine Untersuchung verschiedener Ansätze der Handhabung von Ungewissheit in komplexen Planungsprozessen. Uni Stuttgart, (2009)

Julian Künzel

Rolle neurotroper und muskulotroper Spasmolytika in der In-vitro-Fertilisation (IVF): Untersuchungen am perfundierten Schweineuterus. Uni Erlangen-Nürnberg, (2009)

Julian Horst

Die verbindliche Auskunft nach § 89 Abgabenordnung. Uni Münster, (2009)

Susanne Brunner

Einfluss eines akustischen Vigilanztests auf den pupillographischen Schläfrigkeitstest. Uni Erlangen-Nürnberg, (2009)
 

Другие публикации лиц с тем же именем

Formal Verification of Algorithms for Automata and Model Checking.. Technical University of Munich, Germany, (2022)A Verified and Compositional Translation of LTL to Deterministic Rabin Automata., , и . ITP, том 141 из LIPIcs, стр. 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.. IFM, том 12546 из Lecture Notes in Computer Science, стр. 239-256. Springer, (2020)The Role of Perceived Legitimacy in Clinical Decision Support., , , и . AMIA, AMIA, (2019)