Filter by

  • Publication Year
    To
  • التوفّر
  • Attachment
  • نوع المجموعة
    See More
  • شكل المواد العام
    See More
  • الموقع
    See More
  • اللغة
    See More
وجدت 1 من الكلمات المفتاحية: author="Garavel, Hubert"
cover
Tools and Algorithms for the construction and Analysys of Systems
Comment Share
Garavel, HubertHatcliff, John

9th International Conference, TACAS 2003 Held as part of the joint European Conferences on Theory and practice of software ETAPS, 2003 Warsaw, Poland, April 2003, Proceeding

الإصدارة
1th
ردمك/ردمد
3540008985
التوريق
-
عنوان السلسلة
Lecture Notes in Computer Science
رقم الطلب
-