Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings
Details
| Book Title |
Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings |
| Editor |
Tiziana Margaria and Thomas F. Melham |
| ISBN |
3−540−42541−1 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2144 |
| Year |
2001 |
Links
Related pages
|
People |