( en | de | ru )

 

Disambiguation of "Schepers, Henk"

Author of the publication

copydeleteadd this publication to your clipboard
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

, and . SRDS, page 34-43. IEEE Computer Society, (1993)

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. You can also use the button next to the name to display some publications already assigned to the person.

Beatrice Henk

Henk Beijeren

Anna Henk

Richard Henk

Andreas Henk

 

Other publications of authors with the same name

Compositional Reasoning about Real-Time Distributed Systems with Limited Resources.. PARLE, volume 817 of Lecture Notes in Computer Science, page 809-812. Springer, (1994)Guest editorial: Introduction to the special issue on software and compilers for embedded systems.. ACM Trans. Embed. Comput. Syst., 6 (2): 9 (2007)Trace-Based Compositional Reasoning about Fault Tolerant Systems., and . PARLE, volume 694 of Lecture Notes in Computer Science, page 197-208. Springer, (1993)OCEANS: Optimizing Compilers for Embedded Applications., , , , , , , , , and 10 other author(s). Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1351-1356. Springer, (1997)Towards a formal framework for fault-tolerance.. ACM SIGOPS European Workshop, ACM, (1990)Compositional Reasoning about Responsive Systems with Limited Resources.. Real Time Syst., 7 (3): 291-313 (1994)A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems., and . Theor. Comput. Sci., 128 (1&2): 127-157 (1994)A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems., and . SRDS, page 34-43. IEEE Computer Society, (1993)