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]

Authors

Mikael Asplund

This author has not been identified. Look up 'Mikael Asplund' in Google

Jakob Lovhall

This author has not been identified. Look up 'Jakob Lovhall' in Google

Emília Villani

This author has not been identified. Look up 'Emília Villani' in Google
runs on