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.

Consistency Checks of System Properties Using LTL and Büchi Automata

Salamah Salamah, Matthew Engskow, Omar Ochoa. Consistency Checks of System Properties Using LTL and Büchi Automata. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. pages 39-44, Knowledge Systems Institute Graduate School, 2012.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.

runs on