( en | de | ru )

 

Disambiguierung von "Meseguer, José"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Patterns for Multi-rate Distributed Real-Time Systems.

, , und . FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2012)

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.

José Sánchez Meseguer

Humberto Jorge José

Nadine José Gonzalez

José García

José Riascos

 

Weitere Publikationen von Autoren mit dem selben Namen

Initiality, Induction, and Computability, und . Algebraic Methods in Semantics, Cambridge University Press, (1985)A Constructor-Based Reachability Logic for Rewrite Theories., , und . Fundam. Informaticae, 173 (4): 315-382 (2020)Equality, Types, Modules, and (Why not ?) Generics for Logic Programming., und . J. Log. Program., 1 (2): 179-210 (1984)Strict coherence of conditional rewriting modulo axioms.. Theor. Comput. Sci., (2017)Software Component Search., , , , , und . J. Syst. Integr., 6 (1/2): 93-134 (1996)Playing with Maude., , , , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Debugging and Troubleshooting., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)System Modules., , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Mobile Maude., , , , , , , , und . All About Maude, Volume 4350 von Lecture Notes in Computer Science, Springer, (2007)Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA., , , , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 400-417. EasyChair, (2018)