Reduction in TLA.

Ernie Cohen Leslie Lamport

Published in: CONCUR (1998)

Keyphrases

temporal logic
genetic algorithm
management system
data sets
databases
e learning
optimal solution
data analysis
reduction method