Bernhard Steffen (computer scientist)

Property	Value
rdf:type	Formal methods person owl:NamedIndividual 1958 birth German computer scientist Living person
rdfs:label	Bernhard Steffen (computer scientist)
owl:sameAs	dbr:Bernhard_Steffen_(computer_scientist)
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:1958_births http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Formal_methods_people http://en.wikipedia.org/wiki/Category:German_computer_scientists
skos:prefLabel	Bernhard Steffen (computer scientist)
skos:altLabel	Bernhard Steffen Steffen, B.
clgo:birthYear	1958

About: clgr:Bernhard_Steffen_(computer_scientist)