Nisse Husberg

	2003
4		Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi: Automatic Formal Model Generation and Analysis of SDL. SDL Forum 2003: 285-299
	2001
3		Leo Ojala, Nisse Husberg, Teemu Tynjälä: Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods. STTT 3(4): 382-393 (2001)
	2000
2		Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi: Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN 2000: 244-260
	1999
1		Nisse Husberg, Tapio Manner: Emma: Developing an Industrial Reachability Analyser for SDL. World Congress on Formal Methods 1999: 642-661

Coauthor Index

1	Annikka Aalto	[4]
2	Tapio Manner	[1]
3	Leo Ojala	[3]
4	Teemu Tynjälä	[2] [3]
5	Kimmo Varpaaniemi	[2] [4]

Colors in the list of coauthors