Further processing options
Formal Methods in Computer-Aided Design: Formal verification of the Island Tunnel Controller using M...
Journal Title: | Formal Methods in Computer-Aided Design |
---|---|
Authors and Corporations: | , , , , , |
In: | Formal Methods in Computer-Aided Design, 1996, p. 233-247 |
Type of Resource: | E-Chapter |
Language: | Undetermined |
published: |
Springer Berlin Heidelberg
|