Matches in DBpedia 2015-10 for { <http://doi.org/10.1007/s10009-007-0044-z> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- s10009-007-0044-z doi "10.1007/s10009-007-0044-z".
- s10009-007-0044-z first1 "Dirk".
- s10009-007-0044-z first2 "Thomas A.".
- s10009-007-0044-z first3 "Ranjit".
- s10009-007-0044-z first4 "Rupak".
- s10009-007-0044-z isCitedBy BLAST_model_checker.
- s10009-007-0044-z issue "5-6".
- s10009-007-0044-z journal "International Journal on Software Tools for Technology Transfer".
- s10009-007-0044-z last1 "Beyer".
- s10009-007-0044-z last2 "Henzinger".
- s10009-007-0044-z last3 "Jhala".
- s10009-007-0044-z last4 "Majumdar".
- s10009-007-0044-z pages "505–525".
- s10009-007-0044-z title "The Software Model Checker Blast".
- s10009-007-0044-z volume "9".
- s10009-007-0044-z year "2007".