M. Ü. Uyar
2 published titles
Protocol specification, testing and verification, XII : proceedings of the IFIP TC6/WG6.1. twel[f]th International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Flor
(Contributor)
1 edition
- ISBN: 0444898743
- North-Holland
- 1992
- Details
Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993
(Contributor)
1 edition
- ISBN: 0444817735
- North Holland
- 1994
- Details
