Efficient Gateway Synthesis from Formal Specifications.

David M. Kristol David Lee Arun N. Netravali Krishan K. Sabnani

Published in: SIGCOMM (1991)

Keyphrases

formal specification
design methodology
databases
general purpose
model checking
process algebra