%0 Journal Article %1 journals/ipl/Etessami00 %A Etessami, Kousha %D 2000 %J Inf. Process. Lett. %K dblp %N 6 %P 261-263 %T A note on a question of Peled and Wilke regarding stutter-invariant LTL. %U http://dblp.uni-trier.de/db/journals/ipl/ipl75.html#Etessami00 %V 75

@article{journals/ipl/Etessami00, added-at = {2003-11-20T00:00:00.000+0100}, author = {Etessami, Kousha}, biburl = {https://www.bibsonomy.org/bibtex/2730617d5d47b13b1b85abb89abeee587/dblp}, date = {2003-11-20}, description = {dblp}, ee = {http://dx.doi.org/10.1016/S0020-0190(00)00113-7}, interhash = {57ee58c8adbbadda4964bde9cfb7bdb2}, intrahash = {730617d5d47b13b1b85abb89abeee587}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 6, pages = {261-263}, timestamp = {2003-11-20T00:00:00.000+0100}, title = {A note on a question of Peled and Wilke regarding stutter-invariant LTL.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl75.html#Etessami00}, volume = 75, year = 2000 }