Matthew Engskow

According to our database, Matthew Engskow authored at least 2 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

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

Salamah Salamah, Matthew Engskow, Omar Ochoa

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

2011

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications.

Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow

Adv. Softw. Eng., 2011