%0 Conference Paper %1 conf/apsec/LongZ12 %A Long, Teng %A Zhang, Wenhui %B APSEC %D 2012 %E Leung, Karl R. P. H. %E Muenchaisri, Pornsiri %I IEEE %K dblp %P 674-682 %T Proving Liveness Property under Fairness Requirements. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2012.html#LongZ12 %@ 978-0-7695-4922-4

@inproceedings{conf/apsec/LongZ12, added-at = {2017-05-17T00:00:00.000+0200}, author = {Long, Teng and Zhang, Wenhui}, biburl = {https://www.bibsonomy.org/bibtex/23410cc792edcfbfe8a794c756f6763b4/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/2012}, editor = {Leung, Karl R. P. H. and Muenchaisri, Pornsiri}, ee = {https://doi.org/10.1109/APSEC.2012.15}, interhash = {29658a54ae1f5cfd4c14654c05215485}, intrahash = {3410cc792edcfbfe8a794c756f6763b4}, isbn = {978-0-7695-4922-4}, keywords = {dblp}, pages = {674-682}, publisher = {IEEE}, timestamp = {2024-04-09T13:15:10.000+0200}, title = {Proving Liveness Property under Fairness Requirements.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2012.html#LongZ12}, year = 2012 }