Research output per year
Research output per year
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional
Original language | English |
---|---|
Title of host publication | FORTE '92 |
Subtitle of host publication | proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, Perros-Guirec, France, 13-16 October 1992 |
Editors | Michel Diaz, Roland Groz |
Place of Publication | Amsterdam |
Publisher | North Holland |
Pages | 331-346 |
ISBN (Print) | 0-444-89282-6 |
Publication status | Published - 1991 |
Event | 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992 - Perros-Guirec, France Duration: 13 Oct 1992 → 16 Oct 1992 Conference number: 5 |
Name | IFIP transactions C, Communication systems |
---|---|
Publisher | North-Holland |
Volume | 10 |
ISSN (Print) | 0926-549X |
Conference | 5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992 |
---|---|
Abbreviated title | FORTE 1992 |
Country/Territory | France |
City | Perros-Guirec |
Period | 13/10/92 → 16/10/92 |
Research output: Book/Report › Report › Professional
Research output: Book/Report › Report › Professional