%0 Journal Article %1 journals/ipl/PeledW97 %A Peled, Doron A. %A Wilke, Thomas %D 1997 %J Inf. Process. Lett. %K %N 5 %P 243-246 %T Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator. %U http://dblp.uni-trier.de/db/journals/ipl/ipl63.html#PeledW97 %V 63

@article{journals/ipl/PeledW97, added-at = {2023-12-13T03:15:27.000+0100}, author = {Peled, Doron A. and Wilke, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/222c743a25c934176f1c912c3ad5f18b8/admin}, ee = {http://dx.doi.org/10.1016/S0020-0190(97)00133-6}, interhash = {893da518fb7cfce0a1e76a65b7e0162d}, intrahash = {22c743a25c934176f1c912c3ad5f18b8}, journal = {Inf. Process. Lett.}, keywords = {}, number = 5, pages = {243-246}, timestamp = {2023-12-13T03:15:27.000+0100}, title = {Stutter-Invariant Temporal Properties are Expressible Without the Next-Time Operator.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl63.html#PeledW97}, volume = 63, year = 1997 }