Manna, Zohar.
The temporal logic of reactive and concurrenr systems - NY Springer-Verlag 1992 - 427
ГФ 17312
Англи хэл дээр,
0-387-97664-7 3-540-97664-7
mathematics science logic, symbolic and mathematical computer programming
The temporal logic of reactive and concurrenr systems - NY Springer-Verlag 1992 - 427
ГФ 17312
Англи хэл дээр,
0-387-97664-7 3-540-97664-7
mathematics science logic, symbolic and mathematical computer programming