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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on