Author of the publication

Synchronous Products of Rewrite Systems.

, , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 141-156. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model Checking TLR* Guarantee Formulas on Infinite Systems., , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 129-150. Springer, (2014)Parameterized Programming for Compositional System Specification., , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 59-75. Springer, (2018)Synchronous Products of Rewrite Systems., , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 141-156. (2016)Egalitarian State-Transition Systems., , and . WRLA, volume 9942 of Lecture Notes in Computer Science, page 98-117. Springer, (2016)DEDOS-Player: Educational Activities for Touch Devices., , , and . EC-TEL, volume 9891 of Lecture Notes in Computer Science, page 525-528. Springer, (2016)Copyright and e-learning: professors' level of knowledge about the new Spanish law., , , , and . Aslib Proc., 63 (4): 340-353 (2011)A research into the students' perceptions of technology and inclusive education., , , and . TEEM, page 580-586. ACM, (2018)Single-lead electrocardiogram quality assessment in the context of paroxysmal atrial fibrillation through phase space plots., , , , , and . Biomed. Signal Process. Control., (2024)EasyYard: An IoT-Based Smart Controller for a Connected Backyard., , , , , and . iSES, page 257-261. IEEE, (2019)Surface Classification for Road Distress Detection System Enhancement., , , , , , , and . EUROCAST (1), volume 6927 of Lecture Notes in Computer Science, page 600-607. Springer, (2011)