@incollection{GPShS:134,
author = {Gabbai, D. and Pnueli, A. and Shelah, Saharon and Stavi,
 Jonathan},
booktitle = {Proc.~of the seventh Annual SIG ACT --- SIG PLAN Symposium
 on Principles of Programming Languages, January 23- 30, 1980},
fromwhere = {IL},
pages = {163--173},
publisher = {Association Comp. Machinery, NY},
title = {{On the temporal analysis of fairness}},
year = {1980},
}

{"_id":"oX6yDZAoZRej8ZmZC","bibbaseid":"gabbai-pnueli-shelah-stavi-onthetemporalanalysisoffairness-1980","downloads":0,"creationDate":"2015-12-16T16:12:44.390Z","title":"On the temporal analysis of fairness","author_short":["Gabbai, D.","Pnueli, A.","Shelah, S.","Stavi, J."],"year":1980,"bibtype":"incollection","biburl":"http://shelah.logic.at/listb.bib","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"propositions":[],"lastnames":["Gabbai"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Pnueli"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Shelah"],"firstnames":["Saharon"],"suffixes":[]},{"propositions":[],"lastnames":["Stavi"],"firstnames":["Jonathan"],"suffixes":[]}],"booktitle":"Proc.~of the seventh Annual SIG ACT --- SIG PLAN Symposium on Principles of Programming Languages, January 23- 30, 1980","fromwhere":"IL","pages":"163--173","publisher":"Association Comp. Machinery, NY","title":"On the temporal analysis of fairness","year":"1980","bibtex":"@incollection{GPShS:134,\nauthor = {Gabbai, D. and Pnueli, A. and Shelah, Saharon and Stavi,\n Jonathan},\nbooktitle = {Proc.~of the seventh Annual SIG ACT --- SIG PLAN Symposium\n on Principles of Programming Languages, January 23- 30, 1980},\nfromwhere = {IL},\npages = {163--173},\npublisher = {Association Comp. Machinery, NY},\ntitle = {{On the temporal analysis of fairness}},\nyear = {1980},\n}","author_short":["Gabbai, D.","Pnueli, A.","Shelah, S.","Stavi, J."],"key":"GPShS:134","id":"GPShS:134","bibbaseid":"gabbai-pnueli-shelah-stavi-onthetemporalanalysisoffairness-1980","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["temporal","analysis","fairness","gabbai","pnueli","shelah","stavi"],"keywords":[],"authorIDs":["564502c91dc1340b0e000573"],"dataSources":["gfv7BmBdteCRuemqW"]}