( en | de | ru )

 

Disambiguierung von "Verdejo, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Strategy-Controlled Rewriting Systems (System Description).

, , , und . FSCD, Volume 131 von LIPIcs, Seite 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alberto Fierro

Alberto Moreira

Alberto Coda

Alberto Ricco

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Declarative debugging of rewriting logic specifications., , , und . J. Log. Algebraic Methods Program., 81 (7-8): 851-897 (2012)Playing with Maude., , und . RULE@RDP, Volume 124 von Electronic Notes in Theoretical Computer Science, Seite 3-23. Elsevier, (2004)The Maude strategy language., , , , und . CoRR, (2024)Declarative Debugging of Rewriting Logic Specifications., , , und . WADT, Volume 5486 von Lecture Notes in Computer Science, Seite 308-325. Springer, (2008)A case study in abstraction using E-LOTOS and the FireWire., und . Comput. Networks, 37 (3/4): 481-502 (2001)The Leader Election Protocol of IEEE 1394 in Maude., , und . WRLA, Volume 36 von Electronic Notes in Theoretical Computer Science, Seite 383-404. Elsevier, (2000)A Conference Reviewing System in Mobile Maude., und . WRLA, Volume 71 von Electronic Notes in Theoretical Computer Science, Seite 127-143. Elsevier, (2002)Implementing CCS in Maude 2., und . WRLA, Volume 71 von Electronic Notes in Theoretical Computer Science, Seite 282-300. Elsevier, (2002)Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics., , und . WRS@FLoC, Volume 174 von Electronic Notes in Theoretical Computer Science, Seite 119-137. Elsevier, (2006)Egalitarian State-Transition Systems., , und . WRLA, Volume 9942 von Lecture Notes in Computer Science, Seite 98-117. Springer, (2016)