%0 Conference Paper %1 conf/euroitv/SantosNNT12 %A Santos, Rodrigo Costa Mesquita %A Neto, José Rios Cerqueira %A de Salles Soares Neto, Carlos %A Teixeira, Mário Meireles %B EuroITV %D 2012 %E Arbanowski, Stefan %E Steglich, Stephan %E Knoche, Hendrik %E Heß, Jan %I ACM %K dblp %P 203-212 %T Incremental validation of digital TV applications in nested context language. %U http://dblp.uni-trier.de/db/conf/euroitv/euroitv2012.html#SantosNNT12 %@ 978-1-4503-1107-6

@inproceedings{conf/euroitv/SantosNNT12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Santos, Rodrigo Costa Mesquita and Neto, José Rios Cerqueira and de Salles Soares Neto, Carlos and Teixeira, Mário Meireles}, biburl = {https://www.bibsonomy.org/bibtex/29dd468510c3632aeb6982d6a585b4e3e/dblp}, booktitle = {EuroITV}, crossref = {conf/euroitv/2012}, editor = {Arbanowski, Stefan and Steglich, Stephan and Knoche, Hendrik and Heß, Jan}, ee = {https://doi.org/10.1145/2325616.2325657}, interhash = {c12f79eb1f02cdd8f9798d4964d22d3b}, intrahash = {9dd468510c3632aeb6982d6a585b4e3e}, isbn = {978-1-4503-1107-6}, keywords = {dblp}, pages = {203-212}, publisher = {ACM}, timestamp = {2018-11-07T15:10:07.000+0100}, title = {Incremental validation of digital TV applications in nested context language.}, url = {http://dblp.uni-trier.de/db/conf/euroitv/euroitv2012.html#SantosNNT12}, year = 2012 }