Research output per year
Research output per year
András L. Oláh, Sonia M. Heemstra de Groot
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Original language | English |
---|---|
Title of host publication | Formal Description Techniques VIII (FORTE '95) |
Subtitle of host publication | Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 |
Editors | Gregor von Bochmann, Rachida Dssouli, Omar Rafiq |
Place of Publication | London |
Publisher | Springer |
Pages | 401-416 |
ISBN (Electronic) | 978-0-387-34945-9 |
ISBN (Print) | 978-1-5041-2958-9 |
DOIs | |
Publication status | Published - 12 Oct 1995 |
Event | IFIP TC6 8th International Conference on Formal Description Techniques, FORTE 1995 - Montreal, Canada Duration: 17 Oct 1995 → 20 Oct 1995 Conference number: 8 |
Name | IFIP Advances in Information and Communication Technology |
---|---|
Publisher | Springer |
ISSN (Print) | 1868-4238 |
ISSN (Electronic) | 1868-422X |
Conference | IFIP TC6 8th International Conference on Formal Description Techniques, FORTE 1995 |
---|---|
Abbreviated title | FORTE |
Country/Territory | Canada |
City | Montreal |
Period | 17/10/95 → 20/10/95 |
Research output: Book/Report › Report › Professional
Research output: Book/Report › Report › Professional