BibTeX record conf/synasc/ArusoaieNRL17

download as .bib file

@inproceedings{DBLP:conf/synasc/ArusoaieNRL17,
  author    = {Andrei Arusoaie and
               David Nowak and
               Vlad Rusu and
               Dorel Lucanu},
  title     = {A Certified Procedure for {RL} Verification},
  booktitle = {{SYNASC}},
  pages     = {129--136},
  publisher = {{IEEE} Computer Society},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics