Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-10003-2_69> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 3-540-10003-2_69 doi "10.1007/3-540-10003-2_69".
- 3-540-10003-2_69 first1 "E.".
- 3-540-10003-2_69 first2 "Edmund M.".
- 3-540-10003-2_69 isCitedBy Model_checking.
- 3-540-10003-2_69 journal "Automata, Languages and Programming".
- 3-540-10003-2_69 last1 "Allen Emerson".
- 3-540-10003-2_69 last2 "Clarke".
- 3-540-10003-2_69 title "Characterizing correctness properties of parallel programs using fixpoints".
- 3-540-10003-2_69 year "1980".