List of works - Carl Sunshine - Paulina

List of works by Carl Sunshine

Correction to "Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models"

scientific article published on 27 June 2007

RFC 675: Specification of Internet Transmission Control Program ⬇️

request for comments publication

Specification and Verification of Communication Protocols in AFFIRM Using State Transition Models

scientific article published on 27 June 2007

The ARPA Internet Protocol

academic journal article

Paulina is supported by:

About Paulina

Help