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.

Verification of the European Rail Traffic Management System in Real-Time Maude

Ulrich Berger 0001, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger. Verification of the European Rail Traffic Management System in Real-Time Maude. Science of Computer Programming, 154:61-88, 2018. [doi]

Authors

Ulrich Berger 0001

This author has not been identified. Look up 'Ulrich Berger 0001' in Google

Phillip James

This author has not been identified. Look up 'Phillip James' in Google

Andrew Lawrence

This author has not been identified. Look up 'Andrew Lawrence' in Google

Markus Roggenbach

This author has not been identified. Look up 'Markus Roggenbach' in Google

Monika Seisenberger

This author has not been identified. Look up 'Monika Seisenberger' in Google
runs on