Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/tse.1977.229904> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- tse.1977.229904 doi "10.1109/TSE.1977.229904".
- tse.1977.229904 first1 "L.".
- tse.1977.229904 isCitedBy Liveness.
- tse.1977.229904 isCitedBy Safety_(distributed_computing).
- tse.1977.229904 issue "2".
- tse.1977.229904 journal "IEEE Transactions on Software Engineering".
- tse.1977.229904 last1 "Lamport".
- tse.1977.229904 pages "125–143".
- tse.1977.229904 title "Proving the Correctness of Multiprocess Programs".
- tse.1977.229904 year "1977".