Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by V. Valero
Stochastic Equivalence for Performance Analysis of Concurrent Systems in dtsiPBC
Siberian Electronic Mathematical Reports
Mathematics
Phase I/Ii Study of G3139 (Bcl-2 Antisense Oligonucleotide) in Combination With Doxorubicin and Docetaxel in Breast Cancer
Clinical Cancer Research
Cancer Research
Oncology
Related publications
Equivalence Notions for Concurrent Systems and Refinement of Actions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
International Journal of Systems and Service-Oriented Engineering
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stochastic Uncertainty Analysis for Unconfined Flow Systems
Water Resources Research
Water Science
Technology
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Trace-Based Performance Evaluation Model Building for Concurrent Distributed Systems
A Tool-Set for Temporal Analysis in a Design Environment for Concurrent Systems.
Analysis and Synthesis of Stochastic Nonlinear Systems
Mathematical Problems in Engineering
Mathematics
Engineering
