PEPA - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Model checking tool
rdfs:label	PEPA
owl:sameAs	dbr:PEPA
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Calculus_of_communicating_systems http://en.wikipedia.org/wiki/PEPA http://en.wikipedia.org/wiki/List_of_model_checking_tools
skos:prefLabel	PEPA
is clgo:knownFor of	Jane Hillston

About: clgr:PEPA