[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (2004.06.23-2004.06.25)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - The BUSpec platform for automated generation of verification aids for standard bus protocols
- 作者Bhaskar Pal, ; Ansuman Banerjee, ; Pallab Dasgupta, ; Chakrabarti, P.P.
- 文件大小1686.50KB
- 发表时间2004
- DOI10.1109/memcod.2004.1459831
- 页码119-128
[IEEE Proceedings of 5th European Quantum Electronics Conference - Amsterdam, Netherlands (1994.08.29-1994.09.2)] Proceedings of 5th European Quantum Electronics Conference EQEC-94 - Proceedings of 5th European Quantum Electronics Conference1994
[IEEE Proceedings of 5th European Quantum Electronics Conference - Amsterdam, Netherlands (1994.08.29-1994.09.2)] Proceedings of 5th European Quantum Electronics Conference EQEC-94 - 1994 5th European Quantum Electronics Confererence [front matter]1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Optical parametric oscillatorsDunn, M.H. · 1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Amplication without inversionMandel, P. · 1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Communications using quantum statesPhoenix, S.J.D.; Barnett, S.M.; Loudon, R.; Pegg, D.T. · 1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Nonlinear and quantum optics of vacuumRosanov, N.N. · 1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Optical cavities and quantum mechanicsSchrama, C.A.; Bouwmeester, D.; Nienhuis, G.; Woerdman, J.P. · 1994
[IEEE 5th European Quantum Electronics Conference - Amsterdam, Netherlands (29 Aug.-2 Sept. 1994)] Proceedings of 5th European Quantum Electronics Conference - Carrier dynamics in quantum well lasersEisenstein, G.; Tessler, N. · 1994