1
Publicado 2014
Table of Contents: ... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...
Ligazón do recurso
Electrónico eBook