Brice Mitchell

	2008
2		Lars Michael Kristensen, Peter Mechlenborg, Lin Zhang, Brice Mitchell, Guy Edward Gallasch: Model-based development of a course of action scheduling tool. STTT 10(1): 5-14 (2008)
	2007
1		Brice Mitchell, Lars Michael Kristensen, Lin Zhang: Formal specification and state space analysis of an operational planning process. STTT 9(3-4): 255-267 (2007)

Coauthor Index

1	Guy Edward Gallasch	[2]
2	Lars Michael Kristensen	[1] [2]
3	Peter Mechlenborg	[2]
4	Lin Zhang	[1] [2]