Gupta, R. K., Irani, S., & Shukla, S. K. (2003, November 9). Formal Methods for Dynamic Power Management. International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design; 09-13 Nov. 2003, 874. https://doi.org/10.5555/996070.1009990
Chicago-Zitierstil (17. Ausg.)Gupta, Rajesh K., Sandy Irani, und Sandeep K. Shukla. "Formal Methods for Dynamic Power Management." International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM International Conference on Computer-aided Design; 09-13 Nov. 2003 9 Nov. 2003: 874. https://doi.org/10.5555/996070.1009990.
MLA-Zitierstil (9. Ausg.)Gupta, Rajesh K., et al. "Formal Methods for Dynamic Power Management." International Conference on Computer Aided Design: Proceedings of the 2003 IEEE/ACM International Conference on Computer-aided Design; 09-13 Nov. 2003, 9 Nov. 2003, p. 874, https://doi.org/10.5555/996070.1009990.