%0 Journal Article %1 journals/fmsd/CourcoubetisVWY92 %A Courcoubetis, Costas %A Vardi, Moshe Y. %A Wolper, Pierre %A Yannakakis, Mihalis %D 1992 %J Formal Methods Syst. Des. %K dblp %N 2/3 %P 275-288 %T Memory-Efficient Algorithms for the Verification of Temporal Properties. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd1.html#CourcoubetisVWY92 %V 1

@article{journals/fmsd/CourcoubetisVWY92, added-at = {2024-02-05T00:00:00.000+0100}, author = {Courcoubetis, Costas and Vardi, Moshe Y. and Wolper, Pierre and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2c61d1ffc51424bc7bd297e0d222bfc5d/dblp}, ee = {https://doi.org/10.1007/BF00121128}, interhash = {447686a78af724897d15f55e025c07d6}, intrahash = {c61d1ffc51424bc7bd297e0d222bfc5d}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = {2/3}, pages = {275-288}, timestamp = {2024-04-08T17:15:03.000+0200}, title = {Memory-Efficient Algorithms for the Verification of Temporal Properties.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd1.html#CourcoubetisVWY92}, volume = 1, year = 1992 }