%0 Journal Article %1 journals/dagstuhl-reports/JansenKKK18 %A Jansen, Nils %A Katoen, Joost-Pieter %A Kohli, Pushmeet %A Kretínský, Jan %D 2018 %J Dagstuhl Reports %K dblp %N 3 %P 74-93 %T Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports8.html#JansenKKK18 %V 8

@article{journals/dagstuhl-reports/JansenKKK18, added-at = {2020-08-29T00:00:00.000+0200}, author = {Jansen, Nils and Katoen, Joost-Pieter and Kohli, Pushmeet and Kretínský, Jan}, biburl = {https://www.bibsonomy.org/bibtex/2eed6e5925fc97856dd9157d48743ac1e/dblp}, ee = {https://doi.org/10.4230/DagRep.8.3.74}, interhash = {71afaa8b22e48474546820035758f274}, intrahash = {eed6e5925fc97856dd9157d48743ac1e}, journal = {Dagstuhl Reports}, keywords = {dblp}, number = 3, pages = {74-93}, timestamp = {2020-08-30T11:35:57.000+0200}, title = {Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports8.html#JansenKKK18}, volume = 8, year = 2018 }