Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/242223.242257> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- 242223.242257 doi "10.1145/242223.242257".
- 242223.242257 first1 "E. M.".
- 242223.242257 first2 "J. M.".
- 242223.242257 isCitedBy Jeannette_Wing.
- 242223.242257 issue "4".
- 242223.242257 journal "ACM Computing Surveys".
- 242223.242257 last1 "Clarke".
- 242223.242257 last2 "Wing".
- 242223.242257 pages "626".
- 242223.242257 title "Formal methods: State of the art and future directions".
- 242223.242257 volume "28".
- 242223.242257 year "1996".