|
@inproceedings{wlt2009, author = {Matthias Woehrle and Kai Lampka and Lothar Thiele}, title = {Exploiting timed automata for conformance testing of power measurements}, booktitle = {Proc. Formal Modeling and Analysis of Timed Systems 2009}, pages = {275--290}, publisher = {Springer}, month = {Sep}, year = {2009} }