%0 Conference Paper %1 conf/dimacs/CourcoubetisVWY90 %A Courcoubetis, Costas %A Vardi, Moshe Y. %A Wolper, Pierre %A Yannakakis, Mihalis %B CAV (DIMACS/AMS volume) %D 1990 %E Clarke, Edmund M. %E Kurshan, Robert P. %I DIMACS/AMS %K dblp %P 207-218 %T Memory Efficient Algorithms for the Verification of Temporal Properties. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#CourcoubetisVWY90 %V 3 %@ 978-0-8218-6594-1

@inproceedings{conf/dimacs/CourcoubetisVWY90, added-at = {2022-06-09T00:00:00.000+0200}, author = {Courcoubetis, Costas and Vardi, Moshe Y. and Wolper, Pierre and Yannakakis, Mihalis}, biburl = {https://www.bibsonomy.org/bibtex/2a75d0df7d3b688b64fbdc6eac05e446f/dblp}, booktitle = {CAV (DIMACS/AMS volume)}, crossref = {conf/dimacs/1990a}, editor = {Clarke, Edmund M. and Kurshan, Robert P.}, ee = {https://doi.org/10.1090/dimacs/003/15}, interhash = {4f01723473ab5417b4e2abea646c2f45}, intrahash = {a75d0df7d3b688b64fbdc6eac05e446f}, isbn = {978-0-8218-6594-1}, keywords = {dblp}, pages = {207-218}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:59:14.000+0200}, title = {Memory Efficient Algorithms for the Verification of Temporal Properties.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs1990a.html#CourcoubetisVWY90}, volume = 3, year = 1990 }