Wendy Johnston

	2007
2		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		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

Coauthor Index

1	Lionel van den Berg	[1] [2]
2	Peter Robinson	[1]
3	Paul A. Strooper	[1] [2]
4	Kirsten Winter	[1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page