%0 Conference Paper %1 conf/eucc/DangJT13 %A Dang, Thao %A Jeannet, Bertrand %A Testylier, Romain %B ECC %D 2013 %I IEEE %K dblp %P 4252-4256 %T Verification of embedded control programs. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2013.html#DangJT13

@inproceedings{conf/eucc/DangJT13, added-at = {2021-08-09T00:00:00.000+0200}, author = {Dang, Thao and Jeannet, Bertrand and Testylier, Romain}, biburl = {https://www.bibsonomy.org/bibtex/25aabee1fcc447852fe6219477dc4172f/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2013}, ee = {https://doi.org/10.23919/ECC.2013.6669843}, interhash = {958b9197314dd5ca1dcf7e1b999fb78c}, intrahash = {5aabee1fcc447852fe6219477dc4172f}, keywords = {dblp}, pages = {4252-4256}, publisher = {IEEE}, timestamp = {2024-10-07T08:16:17.000+0200}, title = {Verification of embedded control programs.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2013.html#DangJT13}, year = 2013 }