Format:
Table of Contents: “... with Communicating Hybrid Programs -- 1 Introduction -- 2 Dynamic Logic of Communicating Hybrid Programs -- 2...”
Click to View

Format:
Table of Contents: “... Foundation of Program Comprehension (Abstract of an Invited Talk) -- Contents -- Regular Contributions -- ACo...”
Click to View

Format:
Table of Contents: “... Relations in Layered Enterprise Architecture Development -- 1 Introduction -- 2 The Metamodel Diagram -- 3...”
Click to View

Format:
Table of Contents: “... Notation -- 3.2 Note and Chord Representation -- 4 Methods and Modeling -- 4.1 Markov Chain Model -- 4...”
Click to View