Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/SPIN_model_checker> . }
Showing items 1 to 6 of
6
with 100 items per page.
- Gerard_J._Holzmann knownFor SPIN_model_checker.
- Spin wikiPageDisambiguates SPIN_model_checker.
- SPIN_(model_checker) wikiPageRedirects SPIN_model_checker.
- SPIN_(verification_system) wikiPageRedirects SPIN_model_checker.
- Spin_Model_Checker wikiPageRedirects SPIN_model_checker.
- SPIN_model_checker primaryTopic SPIN_model_checker.