English
Deutsch
Log In
Email address
Password
Log in
or
Log in with Shibboleth
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Safety in railway signalling data
Details
Full
Export
Statistics
Options
1993
Conference Paper
Titel
Safety in railway signalling data
Titel Supplements
A behavioural analysis
Author(s)
Morley, M.
Hauptwerk
Higher order logic theorem proving and its applications
Konferenz
User's Group Workshop "Higher Order Logic Theorem Proving and Its Applications" 1993
DOI
10.1007/3-540-57826-9_156
Language
English
google-scholar
View Details
GMD
