%0 Conference Paper %1 conf/indiaSE/MukherjeeMD13 %A Mukherjee, Rajdeep %A Mukherjee, Subhankar %A Dasgupta, Pallab %B ISEC %D 2013 %E Ghosal, Sugata %E Shroff, Gautam %E Chandra, Satish %E Nagappan, Nachiappan %I ACM %K dblp %P 29-34 %T Model checking of global power management strategies in software with temporal logic properties. %U http://dblp.uni-trier.de/db/conf/indiaSE/isec2013.html#MukherjeeMD13 %@ 978-1-4503-1987-4

@inproceedings{conf/indiaSE/MukherjeeMD13, added-at = {2019-06-18T00:00:00.000+0200}, author = {Mukherjee, Rajdeep and Mukherjee, Subhankar and Dasgupta, Pallab}, biburl = {https://www.bibsonomy.org/bibtex/29e721cc26b2a6944a087b63a3ef06e1b/dblp}, booktitle = {ISEC}, crossref = {conf/indiaSE/2013}, editor = {Ghosal, Sugata and Shroff, Gautam and Chandra, Satish and Nagappan, Nachiappan}, ee = {https://doi.org/10.1145/2442754.2442759}, interhash = {dc93d7ade40bd837652cd240a82d013e}, intrahash = {9e721cc26b2a6944a087b63a3ef06e1b}, isbn = {978-1-4503-1987-4}, keywords = {dblp}, pages = {29-34}, publisher = {ACM}, timestamp = {2024-04-09T10:04:47.000+0200}, title = {Model checking of global power management strategies in software with temporal logic properties.}, url = {http://dblp.uni-trier.de/db/conf/indiaSE/isec2013.html#MukherjeeMD13}, year = 2013 }