Israel-Finland binational symposium
Subtitle: specification, development and verification of concurrent systems, Haifa, 7-9 January 1996...
Series: N.C.R.D -- 95-11
Publisher: Ministry of Science and the Arts : Finnish Ministry of Education
Published: 1996
Place of publication: Haifa
Language: eng
Subjects: Systems engineering; Congresses; Relations
Other titles: Specification, development and verification of concurrent systems, Haifa, 7-9 January 1996..