( en | de | ru )

 

Disambiguierung von "Pita, Isabel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification of CRWL Programs with Rewriting Logic.

, und . J. Univers. Comput. Sci., 12 (11): 1594-1617 (2006)

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.

Pita Kavungu

Pita Kavungu

Jurij-Alexander Pitako

Pita Kavungu

Glykeria Pita

 

Weitere Publikationen von Autoren mit dem selben Namen

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)A Maude specification of an object-oriented model for telecommunication networks., und . Theor. Comput. Sci., 285 (2): 407-439 (2002)Simulating and model checking membrane systems using strategies in Maude., , , und . CoRR, (2024)Metalevel transformation of strategies., , , und . CoRR, (2024)Strategies, model checking and branching-time properties in Maude., , , und . J. Log. Algebraic Methods Program., (2021)Proving VLRL Action Properties with the Maude Model Checker., und . WRLA, Volume 117 von Electronic Notes in Theoretical Computer Science, Seite 113-133. Elsevier, (2004)Conditional Narrowing Modulo in Rewriting Logic and Maude., , , und . WRLA, Volume 8663 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2014)Towards a Verification Logic for Rewriting Logic., , , , und . WADT, Volume 1827 von Lecture Notes in Computer Science, Seite 438-458. Springer, (1999)Model checking strategy-controlled systems in rewriting logic., , , und . Autom. Softw. Eng., 29 (1): 7 (2022)Specifying and Analyzing the Kademlia Protocol in Maude., und . ICTAC, Volume 9399 von Lecture Notes in Computer Science, Seite 524-541. Springer, (2015)