%0 Journal Article %1 journals/aamas/MasellisG20 %A Masellis, Riccardo De %A Goranko, Valentin %D 2020 %J Auton. Agents Multi Agent Syst. %K dblp %N 2 %P 34 %T Logic-based specification and verification of homogeneous dynamic multi-agent systems. %U http://dblp.uni-trier.de/db/journals/aamas/aamas34.html#MasellisG20 %V 34

@article{journals/aamas/MasellisG20, added-at = {2021-05-14T00:00:00.000+0200}, author = {Masellis, Riccardo De and Goranko, Valentin}, biburl = {https://www.bibsonomy.org/bibtex/219c8e1a504e4ab7e3e0e4a139e21933e/dblp}, ee = {https://doi.org/10.1007/s10458-020-09457-8}, interhash = {9d210123d07a92b6e9bd1558895b5a78}, intrahash = {19c8e1a504e4ab7e3e0e4a139e21933e}, journal = {Auton. Agents Multi Agent Syst.}, keywords = {dblp}, number = 2, pages = 34, timestamp = {2024-04-08T12:42:37.000+0200}, title = {Logic-based specification and verification of homogeneous dynamic multi-agent systems.}, url = {http://dblp.uni-trier.de/db/journals/aamas/aamas34.html#MasellisG20}, volume = 34, year = 2020 }