Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/7254986

Formal methods for communication protocol specification and verification

Open All Close All

type

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

about

http://schema.org/about

contributor

http://schema.org/contributor

creator

http://schema.org/creator

name

http://schema.org/name

"Formal methods for communication protocol specification and verification"@en
"Formal methods for communication protocol specification and verification"
"Formal Methods for Communication Protocol : Specification and Verification"

workExample

http://schema.org/workExample