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.
@inproceedings{SalamahEO12, title = {Consistency Checks of System Properties Using LTL and Büchi Automata}, author = {Salamah Salamah and Matthew Engskow and Omar Ochoa}, year = {2012}, researchr = {https://researchr.org/publication/SalamahEO12}, cites = {0}, citedby = {0}, pages = {39-44}, booktitle = {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}, publisher = {Knowledge Systems Institute Graduate School}, isbn = {1-891706-31-4}, }