Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN3-540-40117-2> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- books?vid=ISBN3-540-40117-2 author "Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre".
- books?vid=ISBN3-540-40117-2 chapter "Software Verification with Blast".
- books?vid=ISBN3-540-40117-2 editor1First "Thomas".
- books?vid=ISBN3-540-40117-2 editor1Last "Ball".
- books?vid=ISBN3-540-40117-2 editor2First "Sriram K.".
- books?vid=ISBN3-540-40117-2 editor2Last "Rajamani".
- books?vid=ISBN3-540-40117-2 isCitedBy BLAST_model_checker.
- books?vid=ISBN3-540-40117-2 isbn "3-540-40117-2".
- books?vid=ISBN3-540-40117-2 pages "235–239".
- books?vid=ISBN3-540-40117-2 publisher "Springer-Verlag".
- books?vid=ISBN3-540-40117-2 series "Lecture Notes in Computer Science".
- books?vid=ISBN3-540-40117-2 title "Proceedings of the 10th SPIN Workshop on Model Checking Software".
- books?vid=ISBN3-540-40117-2 volume "2648".
- books?vid=ISBN3-540-40117-2 year "2003".