@article{SENDA_2021,
    title = {LTL Model Checking for Register Pushdown Systems},
    volume = {E104.D},
    issn = {1745-1361},
    url = {http://dx.doi.org/10.1587/transinf.2020EDP7265},
    doi = {10.1587/transinf.2020edp7265},
    number = {12},
    journal = {IEICE Transactions on Information and Systems},
    publisher = {Institute of Electronics, Information and Communications Engineers (IEICE)},
    author = {SENDA, Ryoma and TAKATA, Yoshiaki and SEKI, Hiroyuki},
    year = {2021},
    month = {dec},
    pages = {2131–2144},
    date-added = {2023-11-25 9:0:4 +0100}
}

@article{SENDA_2021, title = {LTL Model Checking for Register Pushdown Systems}, volume = {E104.D}, issn = {1745-1361}, url = {http://dx.doi.org/10.1587/transinf.2020EDP7265}, doi = {10.1587/transinf.2020edp7265}, number = {12}, journal = {IEICE Transactions on Information and Systems}, publisher = {Institute of Electronics, Information and Communications Engineers (IEICE)}, author = {SENDA, Ryoma and TAKATA, Yoshiaki and SEKI, Hiroyuki}, year = {2021}, month = {dec}, pages = {2131–2144}, date-added = {2023-11-25 9:0:4 +0100} }