CITATION STYLE
Bordini, R. H., Fisher, M., Pardavila, C., Visser, W., & Wooldridge, M. (2003). Model checking multi-agent programs with CASP. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2725, 110–113. https://doi.org/10.1007/978-3-540-45069-6_10
Mendeley helps you to discover research relevant for your work.