Mike Schrönen

List of publications from the DBLP Bibliography Server - FAQ

1999

1 EE Bettina Buth, Mike Schrönen: Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. World Congress on Formal Methods 1999: 1869

1999
1	EE	Bettina Buth, Mike Schrönen: Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. World Congress on Formal Methods 1999: 1869

Coauthor Index