Michael Benedikt, Rastislav Lenhardt, James Worrell. Verification of Two-Variable Logic Revisited. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 114-123, IEEE Computer Society, 2012. [doi]
@inproceedings{BenediktLW12, title = {Verification of Two-Variable Logic Revisited}, author = {Michael Benedikt and Rastislav Lenhardt and James Worrell}, year = {2012}, doi = {10.1109/QEST.2012.38}, url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2012.38}, researchr = {https://researchr.org/publication/BenediktLW12}, cites = {0}, citedby = {0}, pages = {114-123}, booktitle = {Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012}, publisher = {IEEE Computer Society}, isbn = {978-1-4673-2346-8}, }