Temesghen Kahsai

2008
2	EE	Temesghen Kahsai, Marino Miculan: Implementing Spi Calculus Using Nominal Techniques. CiE 2008: 294-305
2007
1	EE	Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff: Specification-based testing for refinement. SEFM 2007: 237-246

Coauthor Index

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

Colors in the list of coauthors