1
Published 2014
Table of Contents: ... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...
View full text
Electronic eBook