Jan Bredereke
AuthID: R-00J-5CZ
1
TÃTULO: Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996
AUTORES: Reinhard Gotzhein; Jan Bredereke;
PUBLICAÇÃO: 1996, FONTE: FORTE, VOLUME: 69
AUTORES: Reinhard Gotzhein; Jan Bredereke;
PUBLICAÇÃO: 1996, FONTE: FORTE, VOLUME: 69
INDEXADO EM: 
DBLP
DBLP