scientific article; zbMATH DE number 868109

MaRDI QIDQ4873993zbMATH OpenFDO

Authors James K. Huggins

Publication date 21 April 1996

zbMATH Keywords

communication protocolKermit

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1196700
• scientific article; zbMATH DE number 928973
• An incremental specification of the sliding-window protocol
• scientific article; zbMATH DE number 1004221

Cited in

(1)

• scientific article; zbMATH DE number 928973 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873993)