Decomposition of functionality: a correctness-preserving LOTOS transformation

Research output

Research output per year 1990 1990 1990

• 1 Conference contribution

Research output per year

Research output per year

Search results

• 1990

  Decomposition of functionality: a correctness-preserving LOTOS transformation

  Langerak, R., 12 Jun 1990, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X. Logrippo, L., Probert, R. L. & Ural, H. (eds.). Amsterdam: Association for Computing Machinery, p. 229-242 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review