Relating May and Must Testing Semantics for Discrete Timed Process Algebras.

Luis Fernando Llana Díaz David de Frutos-Escrig

Published in: ASIAN (1999)

Keyphrases

database
artificial intelligence
databases
neural network
data mining
information retrieval
logic programming
model checking
development process
finite number