External Links

Cite Key

Statistics

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

PDF

Tags

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 Verification of Relay Interlocking Systems

Anne Elisabeth Haxthausen, Marie Le Bliguet, Andreas A. Kjær. Modelling and Verification of Relay Interlocking Systems. In Christine Choppy, Oleg Sokolsky, editors, Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers. Volume 6028 of Lecture Notes in Computer Science, pages 141-153, Springer, 2008. [doi]

Authors

Anne Elisabeth Haxthausen

This author has not been identified. Look up 'Anne Elisabeth Haxthausen' in Google

Marie Le Bliguet

This author has not been identified. Look up 'Marie Le Bliguet' in Google

Andreas A. Kjær

This author has not been identified. Look up 'Andreas A. Kjær' in Google
runs on