( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A generic approach to the control of discrete event systems.

, , , и . CDC/ECC, стр. 1-5. IEEE, (2005)

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.

Ernst-Christian André

Helmut André

Achim André

Karl Wilhelm Andrée

Emil Andrée

 

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

MEC: A System for Constructing and Analysis Transition Systems.. AMAST, стр. 81-82. Springer, (1991)Synchronized Products of Transition Systems and Their Analysis.. ICATPN, том 1420 из Lecture Notes in Computer Science, стр. 26-27. Springer, (1998)A generic approach to the control of discrete event systems., , , и . CDC/ECC, стр. 1-5. IEEE, (2005)An Example of Use of Formal Methods to Debug an Embedded Software., , и . FME, том 1051 из Lecture Notes in Computer Science, стр. 649-661. Springer, (1996)Ambiguous Classes in the Games µ-Calculus Hierarchy., и . FoSSaCS, том 2620 из Lecture Notes in Computer Science, стр. 70-86. Springer, (2003)Théorie des magmoïdes., и . RAIRO Theor. Informatics Appl., 12 (3): 235-257 (1978)The algebra of binary trees is affine complete., , , и . CoRR, (2020)A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation., , и . CSL, том 183 из LIPIcs, стр. 9:1-9:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Un modèle de description de protocoles: les reéseaux fermés d'atuomates triphasés., и . Symposium on Programming, том 167 из Lecture Notes in Computer Science, стр. 1-12. Springer, (1984)Recognizable sets of finite bilabelled transition systems.. Bulletin of the EATCS, (1989)