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.

Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination

Mikael Asplund, Jakob Lovhall, Emília Villani. Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. In Dong Seong Kim, Masato Kitakami, Vijay Varadharajan, editors, 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017. pages 321-328, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.

runs on