Conference item
Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992
Actions
Bibliographic Details
- Publisher:
- North−Holland
- Host title:
- Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992
- Volume:
- 10
- Publication date:
- 1992-01-01
- ISSN:
-
0926-5473
- ISBN:
- 0444896864
Item Description
- UUID:
-
uuid:042d4288-03fd-4b65-82e3-1e579af3cb72
- Local pid:
- cs:4676
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 1992
Metrics
If you are the owner of this record, you can report an update to it here: Report update to this record