%0 Conference Paper %1 conf/europar/Pen-MariG96 %A Peña-Marí, Ricardo %A Galán, Luis A. %B Euro-Par, Vol. I %D 1996 %E Bougé, Luc %E Fraigniaud, Pierre %E Mignotte, Anne %E Robert, Yves %I Springer %K dblp %P 775-778 %T Proving Progress Properties of non Terminating Programs under Fairness Assumptions. %U http://dblp.uni-trier.de/db/conf/europar/europar96-1.html#Pen-MariG96 %V 1123 %@ 3-540-61626-8

@inproceedings{conf/europar/Pen-MariG96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Peña-Marí, Ricardo and Galán, Luis A.}, biburl = {https://www.bibsonomy.org/bibtex/25f3f5bfd6480df2ca37edfed9e807721/dblp}, booktitle = {Euro-Par, Vol. I}, crossref = {conf/europar/1996-1}, editor = {Bougé, Luc and Fraigniaud, Pierre and Mignotte, Anne and Robert, Yves}, ee = {https://doi.org/10.1007/3-540-61626-8_101}, interhash = {edb2bcab62e7349613de3c206a0675a4}, intrahash = {5f3f5bfd6480df2ca37edfed9e807721}, isbn = {3-540-61626-8}, keywords = {dblp}, pages = {775-778}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:00:16.000+0200}, title = {Proving Progress Properties of non Terminating Programs under Fairness Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/europar/europar96-1.html#Pen-MariG96}, volume = 1123, year = 1996 }