Martti Tienari

发表

Martti Tienari, Antti Valmari, 2005, Formal Aspects of Computing.

Martti Tienari, Kimmo E. E. Raatikainen, Markku Kojo, 1996, IFIP World Conference on Mobile Communications.

Martti Tienari, Antti Valmari, Jaana Eloranta, 1997, Theor. Comput. Sci..

Martti Tienari, 1985, BIT Comput. Sci. Sect..

Martti Tienari, Antti Valmari, A. Valmari, 1991, Protocol Specification, Testing and Verification.

Martti Tienari, Lars Heide, Tomas Ohlin, 2003, History of Nordic Computing.

Martti Tienari, Greger Lindén, G. Lindén, 1998 .

Martti Tienari, M. Tienari, 1980, Semantics-Directed Compiler Generation.