%0 Conference Paper %1 conf/csdm/Nakajima14 %A Nakajima, Shin %B CSDM Asia %D 2014 %E Cardin, Michel-Alexandre %E Krob, Daniel %E Lui, Pao Chuen %E Tan, Yang How %E Wood, Kristin L. %I Springer %K dblp %P 3-14 %T Model Checking of Energy Consumption Behavior. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2014a.html#Nakajima14 %@ 978-3-319-12544-2

@inproceedings{conf/csdm/Nakajima14, added-at = {2017-12-25T00:00:00.000+0100}, author = {Nakajima, Shin}, biburl = {https://www.bibsonomy.org/bibtex/2b7f870e992c20f66ed6e4bbced1e23cd/dblp}, booktitle = {CSDM Asia}, crossref = {conf/csdm/2014a}, editor = {Cardin, Michel-Alexandre and Krob, Daniel and Lui, Pao Chuen and Tan, Yang How and Wood, Kristin L.}, ee = {https://doi.org/10.1007/978-3-319-12544-2_1}, interhash = {24f3d57d9024ce2df5bed707efaf425a}, intrahash = {b7f870e992c20f66ed6e4bbced1e23cd}, isbn = {978-3-319-12544-2}, keywords = {dblp}, pages = {3-14}, publisher = {Springer}, timestamp = {2020-09-09T13:48:36.000+0200}, title = {Model Checking of Energy Consumption Behavior.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2014a.html#Nakajima14}, year = 2014 }