Jump to main content

yr 〜
yr

Search results 4

Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 international conference : Taipei, Taiwan, October 2-5, 2005 : proceedings. : Oct 2005, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3731)

Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 international conference : Taipei, Taiwan, October 2-5, 2005 : proceedings. : Oct 2005, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3731)
Paper図書
Springerc2005.<M17-05-2682>
National Diet Library
  • Author HeadingWang, Farn. FORTE 2005 (2005 : Taipei, T...

Automated technology for verification and analysis : second international conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings. : 2nd international symposium on automated technology on verification and analysis : ATVA workshop : Oct 2004, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3299)

Automated technology for verification and analysis : second international conference, ATVA 2004 : Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings. : 2nd international symposium on automated technology on verification and analysis : ATVA workshop : Oct 2004, Taipei, Taiwan. (Lecture Notes in Computer Science ; 3299)
Paper図書
Springerc2004.<M17-05-968>
National Diet Library
  • Author HeadingWang, Farn. International Symposium on A...

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings

Formal techniques for networked and distributed systems - FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
Paper図書
Farn Wang (ed.)Springerc2005
Other Libraries in Japan
  • Author HeadingFORTE Wang, Farn

Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 : proceedings

Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 : proceedings
Paper図書
Farn Wang (ed.)Springerc2004
Other Libraries in Japan
  • Author HeadingATVA Wang, Farn

Reached to the end of result.

RSS