1
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... Processes -- A Theory for Observational Fault Tolerance -- Smooth Orchestrators -- On the Relative...

2
Published 2008
Springer Berlin Heidelberg
Table of Contents: ...Analyzing Context-Free Grammars Using an Incremental SAT Solver -- Track C: Security...