( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.

, , , и . Theor. Comput. Sci., (2016)

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.

Caroline Dinort

Kathrin Dinort

Günter Dinort

Dino Azzano

Dino Carelli

 

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

An Integrated Theory of Problems as an Algebraic Base for Complexity Understanding and Automatic Problem Solving., , , и . Optimization Techniques, том 41 из Lecture Notes in Computer Science, стр. 98-129. Springer, (1975)Modeling Time in Computing., , , и . Monographs in Theoretical Computer Science. An EATCS Series Springer, (2012)Operator Precedence and the Visibly Pushdown Property., и . LATA, том 6031 из Lecture Notes in Computer Science, стр. 214-226. Springer, (2010)Augmenting Parsers to Support Incrementality., и . J. ACM, 27 (3): 564-579 (1980)Operator Precedence ω-Languages., , , и . Developments in Language Theory, том 7907 из Lecture Notes in Computer Science, стр. 396-408. Springer, (2013)The challenges of software engineering education., и . ICSE, стр. 637-638. ACM, (2005)Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications., , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 89-104. Springer, (2017)On the Heroism of Really Pursuing Formal Methods.. FormaliSE@ICSE, стр. 1-5. IEEE Computer Society, (2015)First-Order Logic Definability of Free Languages., , , и . CSR, том 9139 из Lecture Notes in Computer Science, стр. 310-324. Springer, (2015)Symbolic Execution of Concurrent Systems Using Petri Nets., , , и . Comput. Lang., 14 (4): 263-281 (1989)