Matthew Engskow

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Deterministic Automata

Consistency Checks

Top Venues

Publications

Salamah Salamah, Matthew Engskow, Omar Ochoa
Consistency Checks of System Properties Using LTL and Büchi Automata. SEKE (2012)
Salamah Salamah, Ann Q. Gates, Steve Roach, Matthew Engskow
Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications. Adv. Softw. Eng. 2011 (2011)