%0 Conference Paper %1 conf/atva/MartinVM16 %A Martín, Óscar %A Verdejo, Alberto %A Martí-Oliet, Narciso %B ATVA %D 2016 %E Artho, Cyrille %E Legay, Axel %E Peled, Doron %K dblp %P 141-156 %T Synchronous Products of Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2016.html#MartinVM16 %V 9938 %@ 978-3-319-46519-7

@inproceedings{conf/atva/MartinVM16, added-at = {2022-06-22T00:00:00.000+0200}, author = {Martín, Óscar and Verdejo, Alberto and Martí-Oliet, Narciso}, biburl = {https://www.bibsonomy.org/bibtex/2af231918399a065995539eb0cd26fb49/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2016}, editor = {Artho, Cyrille and Legay, Axel and Peled, Doron}, ee = {https://doi.org/10.1007/978-3-319-46520-3_10}, interhash = {613f5bbe58182f3ac70a6369a2f598cf}, intrahash = {af231918399a065995539eb0cd26fb49}, isbn = {978-3-319-46519-7}, keywords = {dblp}, pages = {141-156}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T12:16:50.000+0200}, title = {Synchronous Products of Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2016.html#MartinVM16}, volume = 9938, year = 2016 }