External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers

Hubert Garavel, Stefania Gnesi, Ina Schieferdecker. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers. Science of Computer Programming, 46(3):195-196, 2003. [doi]

Authors

Hubert Garavel

This author has not been identified. Look up 'Hubert Garavel' in Google

Stefania Gnesi

This author has not been identified. Look up 'Stefania Gnesi' in Google

Ina Schieferdecker

This author has not been identified. Look up 'Ina Schieferdecker' in Google
runs on