%0 Conference Paper %1 conf/concur/AlurHKV98 %A Alur, Rajeev %A Henzinger, Thomas A. %A Kupferman, Orna %A Vardi, Moshe Y. %B CONCUR %D 1998 %E Sangiorgi, Davide %E de Simone, Robert %I Springer %K dblp %P 163-178 %T Alternating Refinement Relations. %U http://dblp.uni-trier.de/db/conf/concur/concur1998.html#AlurHKV98 %V 1466 %@ 3-540-64896-8

@inproceedings{conf/concur/AlurHKV98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Alur, Rajeev and Henzinger, Thomas A. and Kupferman, Orna and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2e145a3448b16f44fa938c962481fd851/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1998}, editor = {Sangiorgi, Davide and de Simone, Robert}, ee = {https://doi.org/10.1007/BFb0055622}, interhash = {cfaef19b283a551e2dbdda47be3f4962}, intrahash = {e145a3448b16f44fa938c962481fd851}, isbn = {3-540-64896-8}, keywords = {dblp}, pages = {163-178}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:56:54.000+0200}, title = {Alternating Refinement Relations.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1998.html#AlurHKV98}, volume = 1466, year = 1998 }