BibTeX record conf/is/KnapikP14

download as .bib file

@inproceedings{DBLP:conf/is/KnapikP14,
  author       = {Michal Knapik and
                  Wojciech Penczek},
  editor       = {Plamen P. Angelov and
                  Krassimir T. Atanassov and
                  Lyubka Doukovska and
                  Mincho Hadjiski and
                  Vladimir Simov Jotsov and
                  Janusz Kacprzyk and
                  Nikola K. Kasabov and
                  Sotir Sotirov and
                  Eulalia Szmidt and
                  Slawomir Zadrozny},
  title        = {Fixed-Point Methods in Parametric Model Checking},
  booktitle    = {Intelligent Systems'2014 - Proceedings of the 7th International Conference
                  Intelligent Systems {IEEE} IS'2014, September 24-26, 2014, Warsaw,
                  Poland, Volume 1: Mathematical Foundations, Theory, Analyses},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {322},
  pages        = {231--242},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11313-5\_22},
  doi          = {10.1007/978-3-319-11313-5\_22},
  timestamp    = {Fri, 09 Apr 2021 18:42:01 +0200},
  biburl       = {https://dblp.org/rec/conf/is/KnapikP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics