Detection of Deadlocks in an Infinite Family of Nets.

Joffroy Beauquier Annie Choquet Antoine Petit Guy Vidal-Naquet

Published in: STACS (1991)

Keyphrases

automatic detection
false alarms
real time
databases
special case
object detection
detection algorithm
detection method
detection accuracy
computer vision
anomaly detection
detection scheme
change detection