Tienari Tienari

According to our database, Tienari Tienari authored at least 1 paper in 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics.

T. Karvi, Tienari Tienari, Roope Kaivola

Formal Methods Syst. Des., 2005