Wendy Johnston

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

Lionel van den Berg, Paul A. Strooper, Wendy Johnston
An Automated Approach for the Interpretation of Counter-Examples. Electron. Notes Theor. Comput. Sci. 174 (4) (2007)
Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM (2006)