Jump to Navigation

Proceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2

TitleProceedings of the XII International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany July 1-2
Publication TypeConference Proceedings
Year of Conference2007
EditorLeue, S., and P. Merino
Date Publishednov
PublisherUniversität Konstanz; Universidad de Málaga
Conference LocationGermany; Spain


Main menu 2

Biblio | by Dr. Radut