On the Modeling and Verification of Collective and Cooperative Systems - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Alessandro Aldini. On the Modeling and Verification of Collective and Cooperative Systems. Front. Robotics and AI, 9, 2022. [doi]

@article{Aldini22-0,
  title = {On the Modeling and Verification of Collective and Cooperative Systems},
  author = {Alessandro Aldini},
  year = {2022},
  doi = {10.3389/frobt.2022.866649},
  url = {https://doi.org/10.3389/frobt.2022.866649},
  researchr = {https://researchr.org/publication/Aldini22-0},
  cites = {0},
  citedby = {0},
  journal = {Front. Robotics and AI},
  volume = {9},
}

runs on WebDSL