Jump to main content

yr 〜
yr

Search results 3

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6/WG6.1 -- 21st international conference on formal techniques for networked and distributed systems : August 28-31, 2001, Cheju Island, Korea. : Aug 2001, ------. (IFIP ; 69)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6/WG6.1 -- 21st international conference on formal techniques for networked and distributed systems : August 28-31, 2001, Cheju Island, Korea. : Aug 2001, ------. (IFIP ; 69)
Paper図書
Kluwer Academic Publishersc2001.<M17-03-3087>
National Diet Library
  • Author HeadingKim, Myungchul. International Conference on F...

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6
Paper図書
WG6.1 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea / edited by Myungchul Kim ...[et al.]Kluwer Academic Publishersc2001
Other Libraries in Japan

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea
Paper図書
edited by Myungchul Kim, Sungwon Kang and Keesoo HongChapman & Hall1997
Other Libraries in Japan

Reached to the end of result.

RSS