The Library
Preface
Tools
Peled, Doron and Tsay, Yih-Kuen (2007) Preface. International Journal of Foundations of Computer Science, Vol.18 (No.1). pp. 1-3. ISSN 0129-0541 doi:10.1142/S0129054107004541
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1142/S0129054107004541
Item Type: | Journal Item | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | International Journal of Foundations of Computer Science | ||||
Publisher: | World Scientific Publishing Co. Pte. Ltd. | ||||
ISSN: | 0129-0541 | ||||
Official Date: | February 2007 | ||||
Dates: |
|
||||
Volume: | Vol.18 | ||||
Number: | No.1 | ||||
Number of Pages: | 3 | ||||
Page Range: | pp. 1-3 | ||||
DOI: | 10.1142/S0129054107004541 | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Description: | Special Issue: Automated technology for verification and analysis (ATVA 2005) |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |