Temesghen Kahsai

	2008
4		Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
3		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-Based Testing for Software Product Lines. SEFM 2008: 149-158
2		Temesghen Kahsai, Markus Roggenbach: Property Preserving Refinement for Csp-Casl. WADT 2008: 206-220
	2007
1		Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246

Coauthor Index

1	Marino Miculan	[4]
2	Markus Roggenbach	[1] [2] [3]
3	Bernd-Holger Schlingloff	[1] [3]

Colors in the list of coauthors