( en | de | ru )

 

Disambiguation of "Verdejo, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Egalitarian State-Transition Systems.

, , and . WRLA, volume 9942 of Lecture Notes in Computer Science, page 98-117. Springer, (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.

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Moreira

Alberto Calabrò

 

Other publications of authors with the same name

Executable structural operational semantics in Maude, and . Journal of Logic and Algebraic Programming, 67 (1-2): 226--293 (2006)A Declarative Debugger for Maude., , , and . AMAST, volume 5140 of Lecture Notes in Computer Science, page 116-121. Springer, (2008)QMaude: Quantitative Specification and Verification in Rewriting Logic., , , and . FM, volume 14000 of Lecture Notes in Computer Science, page 240-259. Springer, (2023)Declarative Debugging of Membership Equational Logic Specifications., , , and . Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 174-193. Springer, (2008)Implementing CCS in Maude., and . FORTE, volume 183 of IFIP Conference Proceedings, page 351-366. Kluwer, (2000)Enhancing the Debugging of Maude Specifications., , and . WRLA, volume 6381 of Lecture Notes in Computer Science, page 226-242. Springer, (2010)Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees., , , and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 73-89. Springer, (2011)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)Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude., , and . DCAI, volume 50 of Advances in Soft Computing, page 424-433. Springer, (2008)Parameterized Programming for Compositional System Specification., , and . WRLA@ETAPS, volume 11152 of Lecture Notes in Computer Science, page 59-75. Springer, (2018)