Formal methods for protocol conversion /

Bibliographic Details
Main Author:	Yao, Yow-Wei
Language:	English
Published:	The Ohio State University / OhioLINK 1991
Subjects:	Computer Science
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251

id	ndltd-OhioLink-oai-etd.ohiolink.edu-osu1487693923198251
record_format	oai_dc
spelling	ndltd-OhioLink-oai-etd.ohiolink.edu-osu14876939231982512021-08-03T06:56:01Z Formal methods for protocol conversion / Yao, Yow-Wei Computer Science 1991 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251 http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection	NDLTD
language	English
sources	NDLTD
topic	Computer Science
spellingShingle	Computer Science Yao, Yow-Wei Formal methods for protocol conversion /
author	Yao, Yow-Wei
author_facet	Yao, Yow-Wei
author_sort	Yao, Yow-Wei
title	Formal methods for protocol conversion /
title_short	Formal methods for protocol conversion /
title_full	Formal methods for protocol conversion /
title_fullStr	Formal methods for protocol conversion /
title_full_unstemmed	Formal methods for protocol conversion /
title_sort	formal methods for protocol conversion /
publisher	The Ohio State University / OhioLINK
publishDate	1991
url	http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251
work_keys_str_mv	AT yaoyowwei formalmethodsforprotocolconversion
_version_	1719449114626752512

Similar Items