Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku. Automated Planning and Model Checking (Dagstuhl Seminar 14482). Dagstuhl Reports, 4(11):227-245, 2014. [doi]
@article{CimattiEFMP14,
title = {Automated Planning and Model Checking (Dagstuhl Seminar 14482)},
author = {Alessandro Cimatti and Stefan Edelkamp and Maria Fox and Daniele Magazzeni and Erion Plaku},
year = {2014},
doi = {10.4230/DagRep.4.11.227},
url = {http://dx.doi.org/10.4230/DagRep.4.11.227},
researchr = {https://researchr.org/publication/CimattiEFMP14},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {4},
number = {11},
pages = {227-245},
}