N. Husberg

Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods

Teemu Tynjälä, Leo Ojala, Nisse Husberg, 2001, International Journal on Software Tools for Technology Transfer.

Formal Models for Real Programs

N. Husberg, 1997 .

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

Teemu Tynjälä, Kimmo Varpaaniemi, Nisse Husberg, 2000, ICATPN.

High Level Distributed Transition Systems

Nisse Husberg, N. Husberg, 1990 .