Language Of Temporal Ordering Specification

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal method Formal specification language Model checking tool
rdfs:label	Language Of Temporal Ordering Specification
owl:sameAs	dbr:Language_Of_Temporal_Ordering_Specification
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_specification_languages http://en.wikipedia.org/wiki/Formal_specification http://en.wikipedia.org/wiki/Calculus_of_communicating_systems http://en.wikipedia.org/wiki/Communicating_sequential_processes http://en.wikipedia.org/wiki/Category:Formal_methods http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/List_of_model_checking_tools
skos:prefLabel	Language Of Temporal Ordering Specification
skos:altLabel	LOTOS Lotos

About: clgr:Language_Of_Temporal_Ordering_Specification