%0 Conference Paper %1 conf/latw/EncinasAA16 %A Encinas, Walter Soto %A da Silva Araujo, Francisco Romulo %A Abrahim, Harney %B LATS %D 2016 %I IEEE %K dblp %P 165-170 %T Infrastructure for formal and dynamic verification of peripheral programming model. %U http://dblp.uni-trier.de/db/conf/latw/lats2016.html#EncinasAA16 %@ 978-1-5090-1331-9

@inproceedings{conf/latw/EncinasAA16, added-at = {2016-06-03T00:00:00.000+0200}, author = {Encinas, Walter Soto and da Silva Araujo, Francisco Romulo and Abrahim, Harney}, biburl = {https://www.bibsonomy.org/bibtex/2189267cce37eb03a047afa8791f190a0/dblp}, booktitle = {LATS}, crossref = {conf/latw/2016}, ee = {http://dx.doi.org/10.1109/LATW.2016.7483364}, interhash = {81a8ee4d731e632ed0957fc594929ee0}, intrahash = {189267cce37eb03a047afa8791f190a0}, isbn = {978-1-5090-1331-9}, keywords = {dblp}, pages = {165-170}, publisher = {IEEE}, timestamp = {2016-06-04T11:48:48.000+0200}, title = {Infrastructure for formal and dynamic verification of peripheral programming model.}, url = {http://dblp.uni-trier.de/db/conf/latw/lats2016.html#EncinasAA16}, year = 2016 }