2003
Journal Article
Title

Special issue on the 5th international workshop of the ERCIM working group on formal methods for industrial critical systems, Berlin, April 3-4, 2000. Selected papers. Preface

Author(s)
Garavel, H.
Gnesi, S.
Schieferdecker, I.
Journal
Conference
DOI
Language
English