%0 Conference Paper %1 conf/rp/ShimakawaHY15 %A Shimakawa, Masaya %A Hagihara, Shigeki %A Yonezaki, Naoki %B RP %D 2015 %E Bojanczyk, Mikolaj %E Lasota, Slawomir %E Potapov, Igor %I Springer %K dblp %P 140-152 %T Reducing Bounded Realizability Analysis to Reachability Checking. %U http://dblp.uni-trier.de/db/conf/rp/rp2015.html#ShimakawaHY15 %V 9328 %@ 978-3-319-24536-2

@inproceedings{conf/rp/ShimakawaHY15, added-at = {2017-05-26T00:00:00.000+0200}, author = {Shimakawa, Masaya and Hagihara, Shigeki and Yonezaki, Naoki}, biburl = {https://www.bibsonomy.org/bibtex/2f3eb6aafe54be95866786eb0705c1947/dblp}, booktitle = {RP}, crossref = {conf/rp/2015}, editor = {Bojanczyk, Mikolaj and Lasota, Slawomir and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-319-24537-9_13}, interhash = {3856218593fe36fc6144c05e0f816cc1}, intrahash = {f3eb6aafe54be95866786eb0705c1947}, isbn = {978-3-319-24536-2}, keywords = {dblp}, pages = {140-152}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-07T11:41:11.000+0100}, title = {Reducing Bounded Realizability Analysis to Reachability Checking.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2015.html#ShimakawaHY15}, volume = 9328, year = 2015 }