Eliminating Redundant Interleavings During Concurrent Program Verification.

Published in: PARLE (2) (1989)

Keyphrases

eliminating redundant
artificial intelligence
real time
feature selection
multi agent
video sequences
cooperative
mutual exclusion
concurrent programs
dynamically created