%0 Journal Article %1 journals/tcs/KatzP90 %A Katz, Shmuel %A Peled, Doron A. %D 1990 %J Theor. Comput. Sci. %K dblp %N 3 %P 263-287 %T Interleaving Set Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tcs/tcs75.html#KatzP90 %V 75

@article{journals/tcs/KatzP90, added-at = {2021-02-17T00:00:00.000+0100}, author = {Katz, Shmuel and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2a682c266687fb17c38973394c83db6ec/dblp}, ee = {https://doi.org/10.1016/0304-3975(90)90096-Z}, interhash = {d7252f1b6a973d377da07370f23caab3}, intrahash = {a682c266687fb17c38973394c83db6ec}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {263-287}, timestamp = {2024-04-08T18:36:01.000+0200}, title = {Interleaving Set Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs75.html#KatzP90}, volume = 75, year = 1990 }