%0 Journal Article %1 Courcoubetis92 %A Courcoubetis, Costas %A Vardi, Moshe Y. %A Wolper, Pierre %A Yannakakis, Mihalis %D 1992 %J Formal Methods in System Design %K algorithms diss formal model_checking %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{Courcoubetis92, added-at = {2013-04-08T18:59:07.000+0200}, author = {Courcoubetis, Costas and Vardi, Moshe Y. and Wolper, Pierre and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/26687ba4f22fd999f767de5447844ed51/davef}, ee = {http://dx.doi.org/10.1007/BF00121128}, interhash = {447686a78af724897d15f55e025c07d6}, intrahash = {6687ba4f22fd999f767de5447844ed51}, journal = {Formal Methods in System Design}, keywords = {algorithms diss formal model_checking}, number = {2/3}, pages = {275-288}, timestamp = {2013-04-08T18:59:07.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 }