Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d date "2010-05-21".
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d first "Alok".
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d isCitedBy Computer_security.
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d isCitedBy Formal_verification.
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d journal "EE Times_Asia".
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d last "Sanghavi".
- ea15148167e9d064d2774d55e70f3180d35a85d750276305dc16d3c7801e5b0d title "What is formal verification?".