Matches in DBpedia 2016-04 for { <http://link.springer.com/book/10.1007%2Fb138392> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 10.1007%2Fb138392 isCitedBy Carroll_Morgan_(computer_scientist).
- 10.1007%2Fb138392 publisher Springer_Verlag.
- 10.1007%2Fb138392 series Monographs_in_Computer_Science.
- 10.1007%2Fb138392 title "Abstraction, Refinement and Proof for Probabilistic Systems".
- 10.1007%2Fb138392 url 10.1007%2Fb138392.
- 10.1007%2Fb138392 year "2005".