Checking Coverage for Infinite Collections of Timed Scenarios.

S. Akshay Madhavan Mukund K. Narayan Kumar

Published in: CONCUR (2007)

Keyphrases

petri net
information retrieval
digital libraries
document collections
metadata
case study
data sets
databases
image sequences
information retrieval systems
dynamic systems
discrete event
consistency checking