%0 Journal Article %1 journals/ieicetd/TakataSS22 %A Takata, Yoshiaki %A Senda, Ryoma %A Seki, Hiroyuki %D 2022 %J IEICE Trans. Inf. Syst. %K dblp %N 9 %P 1620-1623 %T Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking. %U http://dblp.uni-trier.de/db/journals/ieicetd/ieicetd105.html#TakataSS22 %V 105-D

@article{journals/ieicetd/TakataSS22, added-at = {2023-05-11T00:00:00.000+0200}, author = {Takata, Yoshiaki and Senda, Ryoma and Seki, Hiroyuki}, biburl = {https://www.bibsonomy.org/bibtex/24b127d7e3a976a184616e1d261987f23/dblp}, ee = {https://doi.org/10.1587/transinf.2022edl8030}, interhash = {a13995458fafb21ef73bbba862d965dd}, intrahash = {4b127d7e3a976a184616e1d261987f23}, journal = {IEICE Trans. Inf. Syst.}, keywords = {dblp}, month = {September}, number = 9, pages = {1620-1623}, timestamp = {2024-04-09T02:23:16.000+0200}, title = {Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/ieicetd/ieicetd105.html#TakataSS22}, volume = {105-D}, year = 2022 }