Lionel van den Berg

	2007
3		Lionel van den Berg, Paul A. Strooper, Kirsten Winter: Introducing Time in an Industrial Application of Model-Checking. FMICS 2007: 56-67
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	Wendy Johnston	[1] [2]
2	Peter Robinson	[1]
3	Paul A. Strooper	[1] [2] [3]
4	Kirsten Winter	[1] [3]