Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/5397.5399> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- 5397.5399 author "Clarke, E. M., Emerson, E. A., and Sistla, A. P.".
- 5397.5399 doi "10.1145/5397.5399".
- 5397.5399 first1 "E. M.".
- 5397.5399 first2 "E. A.".
- 5397.5399 first3 "A. P.".
- 5397.5399 isCitedBy Computation_tree_logic.
- 5397.5399 isCitedBy Fair_computational_tree_logic.
- 5397.5399 isCitedBy Model_checking.
- 5397.5399 issue "2".
- 5397.5399 journal "ACM Transactions on Programming Languages and Systems".
- 5397.5399 last1 "Clarke".
- 5397.5399 last2 "Emerson".
- 5397.5399 last3 "Sistla".
- 5397.5399 pages "244".
- 5397.5399 pages "244–263".
- 5397.5399 title "Automatic verification of finite-state concurrent systems using temporal logic specifications".
- 5397.5399 volume "8".
- 5397.5399 year "1986".