Inproceedings,

Formal Specification, Validation and Implementation of an Application Protocol with Estelle.

, , and .
FORTE, volume C-2 of IFIP Transactions, page 361-376. North-Holland, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews