%0 Journal Article %1 journals/entcs/BrauerSK09 %A Brauer, Jörg %A Schlich, Bastian %A Kowalewski, Stefan %D 2009 %J Electron. Notes Theor. Comput. Sci. %K dblp %P 45-63 %T Parallel and Distributed Invariant Checking of Microcontroller Software. %U http://dblp.uni-trier.de/db/journals/entcs/entcs254.html#BrauerSK09 %V 254

@article{journals/entcs/BrauerSK09, added-at = {2020-02-24T00:00:00.000+0100}, author = {Brauer, Jörg and Schlich, Bastian and Kowalewski, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b599f62dd17b0b51fb478bbf4e3ad98d/dblp}, ee = {https://doi.org/10.1016/j.entcs.2009.09.059}, interhash = {a947f096c2ec8847e6e71dc562f085a8}, intrahash = {b599f62dd17b0b51fb478bbf4e3ad98d}, journal = {Electron. Notes Theor. Comput. Sci.}, keywords = {dblp}, pages = {45-63}, timestamp = {2020-04-20T13:08:50.000+0200}, title = {Parallel and Distributed Invariant Checking of Microcontroller Software.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs254.html#BrauerSK09}, volume = 254, year = 2009 }