External Links

Cite Key

Statistics

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

PDF

Tags

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.

Information Systems Modelling with TROLL Formal Methods at Work

Peter Hartel, Grit Denker, Mojgan Kowsari, Maren Krone, Hans-Dieter Ehrich. Information Systems Modelling with TROLL Formal Methods at Work. Inf. Syst., 22(2/3):79-99, 1997. [doi]

Authors

Peter Hartel

This author has not been identified. Look up 'Peter Hartel' in Google

Grit Denker

This author has not been identified. Look up 'Grit Denker' in Google

Mojgan Kowsari

This author has not been identified. Look up 'Mojgan Kowsari' in Google

Maren Krone

This author has not been identified. Look up 'Maren Krone' in Google

Hans-Dieter Ehrich

This author has not been identified. Look up 'Hans-Dieter Ehrich' in Google
runs on