A formal comparison of formal protocol specification techniques.

R. C. Venkatraman Thomas F. Piatkowski

Published in: PSTV (1985)

Keyphrases

formal methods
formal specification
knowledge base
database systems
query processing
fine grained