Matches in DBpedia 2015-10 for { <http://spinroot.com/spin/Doc/Book_extras/> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- Book_extras authorLink "Gerard J. Holzmann".
- Book_extras first "Gerard J".
- Book_extras isCitedBy Partial_order_reduction.
- Book_extras isbn "0-321-22862-6".
- Book_extras last "Holzmann".
- Book_extras publisher "Addison-Wesley".
- Book_extras title "The Spin Model Checker: Primer and Reference Manual".
- Book_extras url Book_extras.
- Book_extras year "1993".