1
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... for Symmetric Multi-processor Architecture -- Comprehensive Verification Framework for Dependability of Self...

2
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... Assumptions and Output Guarantees -- Congruent Weak Conformance, a Partial Order among Processes -- Symmetric...