T. Karvi

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

T. Karvi, Tienari Tienari, Roope Kaivola
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics. Formal Methods Syst. Des. 26 (3) (2005)