Further processing options

Formal Methods in Computer-Aided Design: Formal verification of the Island Tunnel Controller using M...

Bibliographic Details
Journal Title: Formal Methods in Computer-Aided Design
Authors and Corporations: Zhou, Z., Song, X., Tahar, S., Cerny, E., Corella, F., Langevin, M.
In: Formal Methods in Computer-Aided Design, 1996, p. 233-247
Type of Resource: E-Chapter
Language: Undetermined
published:
Springer Berlin Heidelberg