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.

Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way

Thierry Nicola, Frank Nießner, Ulrich Ultes-Nitsche. Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way. In Ulrich Ultes-Nitsche, Daniel Moldt, Juan Carlos Augusto, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with . pages 49-58, INSTICC PRESS, 2008.

Authors

Thierry Nicola

This author has not been identified. Look up 'Thierry Nicola' in Google

Frank Nießner

This author has not been identified. Look up 'Frank Nießner' in Google

Ulrich Ultes-Nitsche

This author has not been identified. Look up 'Ulrich Ultes-Nitsche' in Google
runs on