The Library
Preface
Tools
Tools
Tools
Peled, Doron A. and Tsay, Yih-Kuen (2007) Preface. International Journal of Foundations of Computer Science, Vol.18 (No.1). pp. 1-3. ISSN 0129-0541
Full text not available from this repository.
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 > Computer Science |
| Journal or Publication Title: | International Journal of Foundations of Computer Science |
| Publisher: | World Scientific Publishing Co. Pte. Ltd. |
| ISSN: | 0129-0541 |
| Date: | February 2007 |
| Volume: | Vol.18 |
| Number: | No.1 |
| Number of Pages: | 3 |
| Page Range: | pp. 1-3 |
| Identification Number: | 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) |
| URI: | http://wrap.warwick.ac.uk/id/eprint/31163 |
Data sourced from Thomson Reuters' Web of Knowledge
Actions (login required)
 |
View Item |
