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.

ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe, editors, ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings. Volume 433 of Communications in Computer and Information Science, Springer, 2014. [doi]

Conference: asm2014

Editors

Frédéric Boniol

This author has not been identified. Look up 'Frédéric Boniol' in Google

Virginie Wiels

This author has not been identified. Look up 'Virginie Wiels' in Google

Yamine Aït Ameur

This author has not been identified. Look up 'Yamine Aït Ameur' in Google

Klaus-Dieter Schewe

This author has not been identified. Look up 'Klaus-Dieter Schewe' in Google
runs on