%0 Journal Article %1 journals/scjapan/NaoiT99a %A Naoi, Kuniaki %A Takahashi, Naohisa %D 1999 %J Syst. Comput. Jpn. %K dblp %N 9 %P 74-87 %T Detection of infeasible paths using Presburger arithmetic. %U http://dblp.uni-trier.de/db/journals/scjapan/scjapan30.html#NaoiT99a %V 30

@article{journals/scjapan/NaoiT99a, added-at = {2023-10-30T00:00:00.000+0100}, author = {Naoi, Kuniaki and Takahashi, Naohisa}, biburl = {https://www.bibsonomy.org/bibtex/2df0e66f1de24a1a219d68552751445ae/dblp}, ee = {https://doi.org/10.1002/(SICI)1520-684X(199908)30:9<74::AID-SCJ9>3.0.CO;2-%23}, interhash = {55c2ea1ebf886cf26590d099db391e4c}, intrahash = {df0e66f1de24a1a219d68552751445ae}, journal = {Syst. Comput. Jpn.}, keywords = {dblp}, number = 9, pages = {74-87}, timestamp = {2024-04-09T07:27:53.000+0200}, title = {Detection of infeasible paths using Presburger arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/scjapan/scjapan30.html#NaoiT99a}, volume = 30, year = 1999 }