( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Description and verification of protocol by temporal logic.

, , и . Syst. Comput. Jpn., 18 (3): 30-39 (1987)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hiroshi Murata

Hiroshi Kawabe

Hiroshi Kubota

Hiroshi Uchida

Hiroshi Fukuzaki

 

Другие публикации лиц с тем же именем

Networking for Inter-University Computer Centres in Japan., , , и . ICCC, стр. 286-291. International Council for Computer Communication, (1976)Japan's contribution to the world through science and technology.. ISADS, стр. 2-8. IEEE Computer Society, (1993)A hierarchical process management for a processor pool network., , и . ICCC, стр. 213-217. International Council for Computer Communication / Elsevier, (1988)Aspects of Data Communication and Computer Networks.. IFIP Congress, стр. 543-550. (1980)Product validation for standardized network protocol., , и . Operating Systems Engineering, том 143 из Lecture Notes in Computer Science, стр. 311-330. Springer, (1980)Description and verification of protocol by temporal logic., , и . Syst. Comput. Jpn., 18 (3): 30-39 (1987)An Experimental Network Operating System to Provide Network Transparent Computing Environment., , , , , и . ICCC, стр. 317-322. International Council for Computer Communication / Elsevier, (1986)Evaluation of PCM Toll Switching Networks with Partial Access Pulse Shifters, , и . стр. 631/1-631/8. (1973)