<http://id.loc.gov/rwo/agents/n85817647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#RWO> .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.w3.org/2000/01/rdf-schema#label> "Pnueli, Amir, 1941-2009" .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Person> .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.loc.gov/mads/rdf/v1#birthDate> "1941-04-22"^^<http://id.loc.gov/datatypes/edtf/EDTF> .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.loc.gov/mads/rdf/v1#deathDate> "2009-11-02"^^<http://id.loc.gov/datatypes/edtf/EDTF> .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.loc.gov/mads/rdf/v1#occupation> _:b12iddOtlocdOtgovrwoagentsn85817647 .
_:b12iddOtlocdOtgovrwoagentsn85817647 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.loc.gov/mads/rdf/v1#Occupation> .
_:b12iddOtlocdOtgovrwoagentsn85817647 <http://www.w3.org/2000/01/rdf-schema#label> "Computer scientist" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/3459474> .
<http://id.loc.gov/resources/works/3459474> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/3459474> <http://id.loc.gov/ontologies/bflc/aap> "Chang, E. (Edward) The safety-progress classification" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/4982962> .
<http://id.loc.gov/resources/works/4982962> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4982962> <http://id.loc.gov/ontologies/bflc/aap> "COMPOS '97 (1997 : Malente, Germany) Compositionality" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/1079244> .
<http://id.loc.gov/resources/works/1079244> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/1079244> <http://id.loc.gov/ontologies/bflc/aap> "Henzinger, T. A. (Thomas A.) An interleaving model for real time" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/13114104> .
<http://id.loc.gov/resources/works/13114104> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/13114104> <http://id.loc.gov/ontologies/bflc/aap> "HSCC (Conference) (2003 : Prague, Czech Republic) Hybrid systems" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16012293> .
<http://id.loc.gov/resources/works/16012293> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16012293> <http://id.loc.gov/ontologies/bflc/aap> "International Andrei Ershov Memorial Conference (7th : 2009 : Novosibirsk, Russia) Perspectives of systems informatics" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/2130952> .
<http://id.loc.gov/resources/works/2130952> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2130952> <http://id.loc.gov/ontologies/bflc/aap> "Logic and software engineering" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/2513862> .
<http://id.loc.gov/resources/works/2513862> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2513862> <http://id.loc.gov/ontologies/bflc/aap> "Maler, O. (Oded) From timed to hybrid systems" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/4923623> .
<http://id.loc.gov/resources/works/4923623> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/4923623> <http://id.loc.gov/ontologies/bflc/aap> "Manna, Zohar Temporal verification of reactive systems" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/2487662> .
<http://id.loc.gov/resources/works/2487662> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2487662> <http://id.loc.gov/ontologies/bflc/aap> "Manna, Zohar The temporal logic of reactive and concurrent systems" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/2926277> .
<http://id.loc.gov/resources/works/2926277> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/2926277> <http://id.loc.gov/ontologies/bflc/aap> "Temporal logic in specification" .
<http://id.loc.gov/rwo/agents/n85817647> <http://id.loc.gov/ontologies/bflc/contributorTo> <http://id.loc.gov/resources/works/16256088> .
<http://id.loc.gov/resources/works/16256088> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://id.loc.gov/ontologies/bibframe/Work> .
<http://id.loc.gov/resources/works/16256088> <http://id.loc.gov/ontologies/bflc/aap> "Time for verification" .
<http://id.loc.gov/rwo/agents/n85817647> <http://www.loc.gov/mads/rdf/v1#isIdentifiedByAuthority> <http://id.loc.gov/authorities/names/n85817647> .