Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/151646.151648> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 151646.151648 doi "10.1145/151646.151648".
- 151646.151648 first1 "Rance".
- 151646.151648 first2 "Joachim".
- 151646.151648 first3 "Bernhard".
- 151646.151648 isCitedBy Bernhard_Steffen_(computer_scientist).
- 151646.151648 journal "ACM Transactions on Programming Languages and Systems".
- 151646.151648 last1 "Cleaveland".
- 151646.151648 last2 "Parrow".
- 151646.151648 last3 "Steffen".
- 151646.151648 title "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems".
- 151646.151648 year "1993".