5. ICTAC 2008:
Istanbul, Turkey
Jan Peleska:
A Unified Approach to Abstract Interpretation, Formal Verification and Testing of C/C++ Modules.
3-22
A. W. Roscoe:
The Three Platonic Models of Divergence-Strict CSP.
23-49
Masaki Murakami:
Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs.
243-257
Heike Wehrheim:
Bounded Model Checking for Partial Kripke Structures.
380-394
Areej Zuhily,
Alan Burns:
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks.
410-424
data released under the ODC-BY 1.0 license
