%0 Conference Paper %1 journals/entcs/FinkelWW97 %A Finkel, Alain %A Willems, Bernard %A Wolper, Pierre %B INFINITY %D 1997 %E Moller, Faron %I Elsevier %K dblp %P 27-37 %T A direct symbolic approach to model checking pushdown systems. %U http://dblp.uni-trier.de/db/journals/entcs/entcs9.html#FinkelWW97 %V 9

@inproceedings{journals/entcs/FinkelWW97, added-at = {2021-02-12T00:00:00.000+0100}, author = {Finkel, Alain and Willems, Bernard and Wolper, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/261f1565891bf5b42c9480a17e2a01681/dblp}, booktitle = {INFINITY}, crossref = {conf/infinity/1997}, editor = {Moller, Faron}, ee = {https://doi.org/10.1016/S1571-0661(05)80426-8}, interhash = {eab1bb7d695d6b8669ab9696a22983b7}, intrahash = {61f1565891bf5b42c9480a17e2a01681}, keywords = {dblp}, pages = {27-37}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:25:09.000+0200}, title = {A direct symbolic approach to model checking pushdown systems.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs9.html#FinkelWW97}, volume = 9, year = 1997 }