Sign in
On termination and invariance for faulty channel machines.
Patricia Bouyer
Nicolas Markey
Joël Ouaknine
Philippe Schnoebelen
James Worrell
Published in:
Formal Aspects Comput. (2012)
Keyphrases
</>
model based diagnosis
multi channel
term rewriting
database
computer simulation
data sets
website
video sequences
discriminative power
machine intelligence
rewrite systems