Tse-Min Lin

	2007
5		Alan Burns, Tse-Min Lin: An engineering process for the verification of real-time systems. Formal Asp. Comput. 19(1): 111-136 (2007)
4		Ting-Peng Liang, Chih-Chung Liu, Tse-Min Lin, Binshan Lin: Effect of team diversity on software project performance. Industrial Management and Data Systems 107(5): 636-653 (2007)
	2003
3		Tse-Min Lin, John A. McDermid: A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95. Ada-Europe 2003: 309-321
2		Alan Burns, Tse-Min Lin: Adding Temporal Annotations and Associated Verification to Ravenscar Profile. Ada-Europe 2003: 80-91
	2000
1		Tse-Min Lin, John A. McDermid: (True) Polymorphism in SPARK2000. Ada-Europe 2000: 252-265

Coauthor Index

1	Alan Burns	[2] [5]
2	Ting-Peng Liang	[4]
3	Binshan Lin	[4]
4	Chih-Chung Liu	[4]
5	John A. McDermid	[1] [3]

Colors in the list of coauthors