Sign in
TLA in Pictures.
Leslie Lamport
Published in:
Specification of Parallel Algorithms (1994)
Keyphrases
</>
temporal logic
mobile devices
digital photographs
digital pictures
database
data sets
image processing
wide range
relational databases
multiresolution
multi class
raster images