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.
Abstract is missing.