Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electrical Engineering / 電機工程學系
Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface
Details
Automated Technology for Verification and Analysis (ATVA 2003/2004) - Preface
Journal
International Journal of Foundations of Computer Science
Journal Volume
17
Journal Issue
4
Pages
731-732
Date Issued
2006
Author(s)
FARN WANG
DOI
10.1142/S0129054106004066
URI
https://scholars.lib.ntu.edu.tw/handle/123456789/497172
Type
journal article
