MISC

2010年4月

SPECIAL ISSUE AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA2007) PREFACE

INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
  • Kedar Namjoshi
    • ,
  • Tomohiro Yoneda
巻
21
号
2
開始ページ
113
終了ページ
114
記述言語
英語
掲載種別
その他
DOI
10.1142/S0129054110007167
出版者・発行元
WORLD SCIENTIFIC PUBL CO PTE LTD
リンク情報
DOI
https://doi.org/10.1142/S0129054110007167
Web of Science
https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=JSTA_CEL&SrcApp=J_Gate_JST&DestLinkType=FullRecord&KeyUT=WOS:000276154400001&DestApp=WOS_CPL
ID情報
  • DOI : 10.1142/S0129054110007167
  • ISSN : 0129-0541
  • Web of Science ID : WOS:000276154400001
エクスポート
BibTeX RIS
MISCリストへ