Research output per year
Research output per year
| Original language | English |
|---|---|
| Place of Publication | Enschede |
| Publisher | University of Twente |
| Number of pages | 14 |
| Publication status | Published - 1990 |
Publication series
| Name | Memoranda informatica |
|---|---|
| Publisher | University of Twente |
| No. | 90-27 |
| ISSN (Print) | 0924-3755 |
Research output
- 1 Conference contribution
-
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