1
出版 2014
书本目录: ... Evolving Systems -- Modal Characterisations of Probabilistic and Fuzzy Bisimulations -- Pointer Program...
获取全文
电子 电子书