Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3> ?p ?o }
Showing triples 1 to 5 of
5
with 100 triples per page.
- d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3 author "Clarke, E.M., Grumberg, O., Peled, DA".
- d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3 isCitedBy SBML.
- d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3 publisher "MIT Press".
- d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3 title "Modal Checking".
- d8f8519a6fff90e5aefe5124e1ec181b7e8e5daf30bdd80a63831ec60e13f0c3 year "1999".