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]
No references recorded for this publication.
No citations of this publication recorded.