Login / Signup
Verifying Mutual Exclusion and Liveness Properties with Split Preconditions.
Awadhesh Kumar Singh
Anup Kumar Bandyopadhyay
Published in:
J. Comput. Sci. Technol. (2004)
Keyphrases
</>
mutual exclusion
long distance
temporal planning
information systems
data structure
desirable properties
explanation based learning
data sets
social networks
dynamic programming
structural properties
situation calculus