author = { De Angelis, Francesco Luca AND Di Marzo Serugendo, Giovanna },

title = { Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: Logic Fragments: Coordinating Entities with Logic Programs },

publisher = {Springer International Publishing},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2016},

url = { http://slubdd.de/katalog?TN_libero_mab2 }