Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 author "A.W. Roscoe".
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 authorlink "Bill Roscoe".
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 isCitedBy Communicating_sequential_processes.
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 publisher "Prentice Hall".
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 title "Model-checking CSP".
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 version "In A Classical Mind: essays in Honour of C.A.R. Hoare".
- d99315fc61d9667de81e7868a1b9ea77b4c8eab3ebcf3c3dd8782f7081f75d07 year "1994".