![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | Lionel van den Berg, Paul A. Strooper, Wendy Johnston: An Automated Approach for the Interpretation of Counter-Examples. Electr. Notes Theor. Comput. Sci. 174(4): 19-35 (2007) |
2006 | ||
1 | EE | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter Robinson: Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. FM 2006: 524-540 |
1 | Lionel van den Berg | [1] [2] |
2 | Peter Robinson | [1] |
3 | Paul A. Strooper | [1] [2] |
4 | Kirsten Winter | [1] |