Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/s10817-009-9134-9> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- s10817-009-9134-9 doi "10.1007/s10817-009-9134-9".
- s10817-009-9134-9 first1 "Perry R.".
- s10817-009-9134-9 first2 "Patrice".
- s10817-009-9134-9 isCitedBy Extended_static_checking.
- s10817-009-9134-9 issn "0168-7433".
- s10817-009-9134-9 issue "1–2".
- s10817-009-9134-9 journal "Journal of Automated Reasoning".
- s10817-009-9134-9 last1 "James".
- s10817-009-9134-9 last2 "Chalin".
- s10817-009-9134-9 pages "145–174".
- s10817-009-9134-9 title "Faster and More Complete Extended Static Checking for the Java Modeling Language".
- s10817-009-9134-9 volume "44".
- s10817-009-9134-9 year "2009".