Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/314602.314605> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- 314602.314605 authorlink1 "Liu Zhiming".
- 314602.314605 doi "10.1145/314602.314605".
- 314602.314605 first1 "Zhiming".
- 314602.314605 first2 "Mathai".
- 314602.314605 isCitedBy Mathai_Joseph.
- 314602.314605 journal ACM_Transactions_on_Programming_Languages_and_Systems.
- 314602.314605 last1 "Liu".
- 314602.314605 last2 "Joseph".
- 314602.314605 number "1".
- 314602.314605 pages "46–89".
- 314602.314605 publisher Association_for_Computing_Machinery.
- 314602.314605 title "Specification and Verification of Fault-Tolerance, Timing, and Scheduling".
- 314602.314605 url 390.short.
- 314602.314605 volume "21".
- 314602.314605 year "1999".