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.

Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann, editors, Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings. Volume 1641 of Lecture Notes in Computer Science, Springer, 1999.

Conference: FM1999

Editors

Dieter Hutter

This author has not been identified. Look up 'Dieter Hutter' in Google

Werner Stephan

This author has not been identified. Look up 'Werner Stephan' in Google

Paolo Traverso

This author has not been identified. Look up 'Paolo Traverso' in Google

Markus Ullmann

This author has not been identified. Look up 'Markus Ullmann' in Google
runs on