BibTeX record journals/aaecc/HyodoHYHA07

download as .bib file

@article{DBLP:journals/aaecc/HyodoHYHA07,
  author       = {Noriko Hyodo and
                  Myunghoon Hong and
                  Hitoshi Yanami and
                  Shinji Hara and
                  Hirokazu Anai},
  title        = {Solving and visualizing nonlinear parametric constraints in control
                  based on quantifier elimination},
  journal      = {Appl. Algebra Eng. Commun. Comput.},
  volume       = {18},
  number       = {6},
  pages        = {497--512},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00200-007-0056-7},
  doi          = {10.1007/S00200-007-0056-7},
  timestamp    = {Sun, 02 Oct 2022 15:26:05 +0200},
  biburl       = {https://dblp.org/rec/journals/aaecc/HyodoHYHA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.