Date 13-16 Sept. 2009
Filter Results
Displaying Results 1 - 25 of 52
-
[Front cover]
|
PDF (3260 KB)
-
[Title page i]
|
PDF (10 KB)
-
[Title page iii]
|
PDF (379 KB)
-
[Copyright notice]
|
PDF (105 KB)
-
Table of contents
|
PDF (181 KB)
-
Message from the General Chair
|
PDF (72 KB)
-
Message from the Program Committee Co-chairs
|
PDF (97 KB)
-
Organizing Committee
|
PDF (45 KB)
-
Steering Committee
|
PDF (45 KB)
-
-
-
-
-
Petri Net Analysis Using Decision Diagrams
|
PDF (121 KB)
-
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization
|
PDF (285 KB)
-
-
-
-
-
Acyclic Minimality by Construction---Almost
|
PDF (356 KB)
-
-
-
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach
|
PDF (210 KB)
-
-
Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling
|
PDF (179 KB)


