( en | de | ru )

 

Disambiguation of "Verdejo, Alberto"

Author of the publication

copydeleteadd this publication to your clipboard
Simulating and model checking membrane systems using strategies in Maude.

, , , and . J. Log. Algebraic Methods Program., (2022)

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 Ricco

Alberto Moreira

 

Other publications of authors with the same name

Implementing CCS in Maude., and . FORTE, volume 183 of IFIP Conference Proceedings, page 351-366. Kluwer, (2000)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)Enhancing the Debugging of Maude Specifications., , and . WRLA, volume 6381 of Lecture Notes in Computer Science, page 226-242. Springer, (2010)Model Checking Strategy-Controlled Rewriting Systems (System Description)., , , and . FSCD, volume 131 of LIPIcs, page 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Metalevel transformation of strategies., , , and . CoRR, (2024)Strategies, model checking and branching-time properties in Maude., , , and . J. Log. Algebraic Methods Program., (2021)The Maude strategy language., , , , and . J. Log. Algebraic Methods Program., (August 2023)Simulating and model checking membrane systems using strategies in Maude., , , and . CoRR, (2024)Compositional Verification in Rewriting Logic., , and . CoRR, (2023)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)