( en | de | ru )

 

Disambiguation of "Lermer, Karl"

Author of the publication

copydeleteadd this publication to your clipboard
Refinement and state machine abstraction.

, and . Theor. Comput. Sci., 266 (1-2): 195-235 (2001)

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.

Karl Lermer

Andrea Lermer

Alexander Lermer

Eva Lermer

Alois Lermer

 

Other publications of authors with the same name

Refinement and state machine abstraction, and . Theoretical Computer Science, 266 (1-2): 195--235 (September 2001)A Methodology for Compilation of High-Integrity Real-Time Programs., and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 1274-1281. Springer, (1997)Linear Approximation of Execution-Time Constraints., , and . Formal Aspects Comput., 15 (4): 319-348 (2003)Procedure compilation in the refinement calculus., and . Formal Aspects Comput., 18 (2): 152-180 (2006)Semantic characterisation of dead control-flow paths., , and . IEE Proc. Softw., 148 (6): 175-186 (2001)A Single Complete Refinement Rule for Demonic Specifications., and . IFIP TCS, volume 1872 of Lecture Notes in Computer Science, page 564-579. Springer, (2000)A Formal Model of Real-Time Program Compilation., and . ARTS, volume 1601 of Lecture Notes in Computer Science, page 192-210. Springer, (1999)A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics.. ARTS, volume 1601 of Lecture Notes in Computer Science, page 152-171. Springer, (1999)A Framework for the Specification of Reactive and Concurrent Systems in Z., and . FSTTCS, volume 1026 of Lecture Notes in Computer Science, page 62-79. Springer, (1995)A formal model of real-time program compilation., and . Theor. Comput. Sci., 282 (1): 151-190 (2002)