%0 Conference Paper %1 conf/podc/SistlaCFG82 %A Sistla, A. Prasad %A Clarke, Edmund M. %A Francez, Nissim %A Gurevich, Yuri %B PODC %D 1982 %E Probert, Robert L. %E Fischer, Michael J. %E Santoro, Nicola %I ACM %K dblp %P 148-156 %T Can Message Buffers be Characterized in Linear Temporal Logic? %U http://dblp.uni-trier.de/db/conf/podc/podc82.html#SistlaCFG82 %@ 0-89791-081-8

@inproceedings{conf/podc/SistlaCFG82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Sistla, A. Prasad and Clarke, Edmund M. and Francez, Nissim and Gurevich, Yuri}, biburl = {https://www.bibsonomy.org/bibtex/24616db37b002adfa60d04e0edc89593a/dblp}, booktitle = {PODC}, crossref = {conf/podc/1982}, editor = {Probert, Robert L. and Fischer, Michael J. and Santoro, Nicola}, ee = {https://doi.org/10.1145/800220.806692}, interhash = {6327da6121ddd329b3539020be56a73b}, intrahash = {4616db37b002adfa60d04e0edc89593a}, isbn = {0-89791-081-8}, keywords = {dblp}, pages = {148-156}, publisher = {ACM}, timestamp = {2018-11-07T14:51:36.000+0100}, title = {Can Message Buffers be Characterized in Linear Temporal Logic?}, url = {http://dblp.uni-trier.de/db/conf/podc/podc82.html#SistlaCFG82}, year = 1982 }