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.

Modelling and analysis of a collision avoidance protocol using Spin and Uppaal

Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou. Modelling and analysis of a collision avoidance protocol using Spin and Uppaal. In Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors, The Spin Verification System, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, August, 1996. Volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 33-50, DIMACS/AMS, 1996.

Authors

Henrik Ejersbo Jensen

This author has not been identified. Look up 'Henrik Ejersbo Jensen' in Google

Kim G. Larsen

This author has not been identified. Look up 'Kim G. Larsen' in Google

Arne Skou

This author has not been identified. Look up 'Arne Skou' in Google
runs on