External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata

Loïc Desgeorges, Loïc Germerie Guizouarn. RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. In Sung-Shik Jongmans, Antónia Lopes, editors, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Volume 13908 of Lecture Notes in Computer Science, pages 135-143, Springer, 2023. [doi]

Authors

Loïc Desgeorges

This author has not been identified. Look up 'Loïc Desgeorges' in Google

Loïc Germerie Guizouarn

This author has not been identified. Look up 'Loïc Germerie Guizouarn' in Google
runs on