National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
PROTAN
URI:
http://www.yso.fi/onto/yso/p19876
name
PROTAN
Works about PROTAN
PROTAN88 : a software tool for verifying communication protocols specified with an extended state transition model
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD