Logics and models of concurrent systems
Krysztof R Apt
Logics and models of concurrent systems - - Springer-Verlag 1985 - 498
3-540-15181-8
004.891
Logics and models of concurrent systems - - Springer-Verlag 1985 - 498
3-540-15181-8
004.891