Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Gerard_J._Holzmann> }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Holzmann wikiPageDisambiguates Gerard_J._Holzmann.
- Gerard_Holzmann wikiPageRedirects Gerard_J._Holzmann.
- ACM_Software_System_Award wikiPageWikiLink Gerard_J._Holzmann.
- Digital_darkroom wikiPageWikiLink Gerard_J._Holzmann.
- Gerard_Holzmann wikiPageWikiLink Gerard_J._Holzmann.
- Holzmann wikiPageWikiLink Gerard_J._Holzmann.
- Internetwork_protocol wikiPageWikiLink Gerard_J._Holzmann.
- List_of_computer_scientists wikiPageWikiLink Gerard_J._Holzmann.
- List_of_members_of_the_National_Academy_of_Engineering_(Computer_science) wikiPageWikiLink Gerard_J._Holzmann.
- List_of_the_Delft_University_of_Technology_Alumni wikiPageWikiLink Gerard_J._Holzmann.
- Model_checking wikiPageWikiLink Gerard_J._Holzmann.
- NASA_Exceptional_Engineering_Achievement_Medal wikiPageWikiLink Gerard_J._Holzmann.
- Paris_Kanellakis wikiPageWikiLink Gerard_J._Holzmann.
- Paris_Kanellakis_Award wikiPageWikiLink Gerard_J._Holzmann.
- Promela wikiPageWikiLink Gerard_J._Holzmann.
- Rendezvous_(Plan_9) wikiPageWikiLink Gerard_J._Holzmann.
- SPIN_model_checker wikiPageWikiLink Gerard_J._Holzmann.
- The_Power_of_10:_Rules_for_Developing_Safety-Critical_Code wikiPageWikiLink Gerard_J._Holzmann.
- Vismon wikiPageWikiLink Gerard_J._Holzmann.
- Willem_van_der_Poel wikiPageWikiLink Gerard_J._Holzmann.
- Zunk wikiPageWikiLink Gerard_J._Holzmann.
- mc.2006.212 author Gerard_J._Holzmann.
- spin isCitedBy Gerard_J._Holzmann.
- Gerard_J._Holzmann primaryTopic Gerard_J._Holzmann.