( en | de | ru )

 

Disambiguierung von "Ruiz, Valentín Valero"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Denotational Model for Probabilistic and Nondeterministic Processes.

, , , und . ICDCS Workshop on Distributed System Validation and Verification, Seite E41-E48. (2000)

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.

Alejandro Valero

Silvia Valero

Jose Miguel Ruiz

José-Manuel Ruiz-Marcos

José Francisco Ruíz Borge

 

Weitere Publikationen von Autoren mit dem selben Namen

A congruence relation for sPBC., , , und . Formal Methods Syst. Des., 32 (2): 85-128 (2008)Introducing the Iteration in sPBC., , , und . FORTE, Volume 3235 von Lecture Notes in Computer Science, Seite 292-309. Springer, (2004)Decidability of Properties of Timed-Arc Petri Nets., , und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 187-206. Springer, (2000)Decidability of the strict reachability problem for TPN's with rational and real durations., , und . PNPM, Seite 56-65. IEEE Computer Society, (1993)Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm., , , , und . MMM, Seite 49-56. IEEE Computer Society, (2004)Obtaining Probabilistic Dynamic State Graphs for TPPAL Processes., , , , und . Australian Software Engineering Conference, Seite 118-127. IEEE Computer Society, (2005)A Sound and Complete Proof System for Probabilistic Processes., , und . ARTS, Volume 1231 von Lecture Notes in Computer Science, Seite 340-352. Springer, (1997)A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF., , , und . SEFM Workshops, Volume 8938 von Lecture Notes in Computer Science, Seite 389-404. Springer, (2014)Model-checking verification of publish-subscribe architectures in web service contexts., , , und . SAC, Seite 1688-1695. ACM, (2015)Conformance Verification of Normative Specifications using C-O Diagrams, , , und . FLACOS, Volume 94 von EPTCS, Seite 1-10. (2012)