প্রদর্শন 1 - 2 ফলাফল এর 2 অনুসন্ধানের জন্য 'Bultan, Tevfik', জিজ্ঞাসা করার সময়: 0.01সেকেন্ড ফলাফল পরিমার্জন করুন
  1. 1

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

    প্রকাশিত Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink.Click here to access
    Electronic Resource

    Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings
  2. 2

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

    প্রকাশিত 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

অনুসন্ধান সাধনীগুলি: