%0 Conference Paper %1 conf/cav/JardJ91 %A Jard, Claude %A Jéron, Thierry %B CAV %D 1991 %E Larsen, Kim Guldstrand %E Skou, Arne %I Springer %K dblp %P 192-202 %T Bounded-memory Algorithms for Verification On-the-fly. %U http://dblp.uni-trier.de/db/conf/cav/cav91.html#JardJ91 %V 575 %@ 3-540-55179-4

@inproceedings{conf/cav/JardJ91, added-at = {2019-09-16T00:00:00.000+0200}, author = {Jard, Claude and Jéron, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/2dde32772cb110a9493f1b9f3961af429/dblp}, booktitle = {CAV}, crossref = {conf/cav/1991}, editor = {Larsen, Kim Guldstrand and Skou, Arne}, ee = {https://doi.org/10.1007/3-540-55179-4_19}, interhash = {91b770d06023d495ffbabd6b3f672681}, intrahash = {dde32772cb110a9493f1b9f3961af429}, isbn = {3-540-55179-4}, keywords = {dblp}, pages = {192-202}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:09:13.000+0200}, title = {Bounded-memory Algorithms for Verification On-the-fly.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav91.html#JardJ91}, volume = 575, year = 1991 }