Reinhard Gotzhein
AuthID: R-00J-5CY
1
TITLE: 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
AUTHORS: Reinhard Gotzhein; Jan Bredereke;
PUBLISHED: 1996, SOURCE: FORTE, VOLUME: 69
AUTHORS: Reinhard Gotzhein; Jan Bredereke;
PUBLISHED: 1996, SOURCE: FORTE, VOLUME: 69
INDEXED IN: 
DBLP
DBLP