On Termination for Faulty Channel Machines.

Patricia Bouyer Nicolas Markey Joël Ouaknine Philippe Schnoebelen James Worrell

Published in: STACS (2008)

Keyphrases

multi channel
multiple access
fault diagnosis
term rewriting
database
data mining
feature selection
model based diagnosis
communication channels
ofdm system
data sets
flowshop
theorem prover
parallel machines
multiple faults
rewrite systems