Analysis of a biphase mark protocol with Uppaaland PVS.

Frits W. Vaandrager Adriaan de Groot

Published in: Formal Aspects Comput. (2006)

Keyphrases

database
formal analysis
data analysis
databases
neural network
data mining
artificial intelligence
information systems
cooperative