Zahar Manna
The temporal logic of reactive and concurrent systmes specification - USA Springer-Verlag New York, Inc. 1992 - 427
Англи хэл
0-387-97664-7
The temporal logic of reactive and concurrent systmes specification - USA Springer-Verlag New York, Inc. 1992 - 427
Англи хэл
0-387-97664-7