Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/John_Rushby> }
Showing triples 1 to 16 of
16
with 100 triples per page.
- Rushby wikiPageDisambiguates John_Rushby.
- Automated_theorem_proving wikiPageWikiLink John_Rushby.
- Dartford_Grammar_School wikiPageWikiLink John_Rushby.
- List_of_Beano_comic_strips wikiPageWikiLink John_Rushby.
- List_of_Newcastle_University_people wikiPageWikiLink John_Rushby.
- List_of_SRI_International_people wikiPageWikiLink John_Rushby.
- Multiple_single-level wikiPageWikiLink John_Rushby.
- Natarajan_Shankar wikiPageWikiLink John_Rushby.
- Prototype_Verification_System wikiPageWikiLink John_Rushby.
- Rushby wikiPageWikiLink John_Rushby.
- Separation_kernel wikiPageWikiLink John_Rushby.
- sosp81.pdf author John_Rushby.
- rushby.bio isCitedBy John_Rushby.
- ICSE-2011-John-Rushby-Formal-Methods-Verification-and-Some-Computing-History isCitedBy John_Rushby.
- rushby isCitedBy John_Rushby.
- John_Rushby primaryTopic John_Rushby.