BibTeX record conf/icaisc/JobczykLK16

download as .bib file

@inproceedings{DBLP:conf/icaisc/JobczykLK16,
  author    = {Krystian Jobczyk and
               Antoni Ligeza and
               Krzysztof Kluza},
  title     = {Selected Temporal Logic Systems: An Attempt at Engineering Evaluation},
  booktitle = {Artificial Intelligence and Soft Computing - 15th International Conference,
               {ICAISC} 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part
               {I}},
  pages     = {219--229},
  year      = {2016},
  crossref  = {DBLP:conf/icaisc/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-39378-0\_20},
  doi       = {10.1007/978-3-319-39378-0\_20},
  timestamp = {Fri, 02 Nov 2018 09:35:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icaisc/JobczykLK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icaisc/2016-1,
  editor    = {Leszek Rutkowski and
               Marcin Korytkowski and
               Rafal Scherer and
               Ryszard Tadeusiewicz and
               Lotfi A. Zadeh and
               Jacek M. Zurada},
  title     = {Artificial Intelligence and Soft Computing - 15th International Conference,
               {ICAISC} 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part
               {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9692},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39378-0},
  doi       = {10.1007/978-3-319-39378-0},
  isbn      = {978-3-319-39377-3},
  timestamp = {Fri, 02 Nov 2018 09:35:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icaisc/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier