Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/186025.186051> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 186025.186051 author "Edmund M. Clarke and Orna Grumberg and David E. Long".
- 186025.186051 doi "10.1145/186025.186051".
- 186025.186051 isCitedBy Abstraction_model_checking.
- 186025.186051 issue "5".
- 186025.186051 journal "ACM Transactions on Programming Languages and Systems".
- 186025.186051 pages "1512–1542".
- 186025.186051 title "Model checking and abstraction".
- 186025.186051 volume "16".
- 186025.186051 year "1992".