Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Model_checker> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Model_checker wikiPageID "2285649".
- Model_checker wikiPageLength "28".
- Model_checker wikiPageOutDegree "1".
- Model_checker wikiPageRedirects Model_checking.
- Model_checker wikiPageRevisionID "19361764".
- Model_checker wikiPageWikiLink Model_checking.
- Model_checker wikiPageWikiLinkText "Model checker".
- Model_checker wikiPageWikiLinkText "Toolbox for designing communication protocols and distributed systems".
- Model_checker wikiPageWikiLinkText "model checker".
- Model_checker label "Model checker".
- Model_checker wasDerivedFrom Model_checker?oldid=19361764.
- Model_checker isPrimaryTopicOf Model_checker.