Harald Fecher und Computer - Info zur Person

(1 - 10 von 11

)

Process Algebra and Probabilistic Methods. Performance Modeling and...

books.google.cz

... Behaviours, Lecture Notes in Computer Science, 571: 529 – 545, ̆Zic, J., Time-Constrained Buffer Specifications in CSP+T and Timed CSP, ACM Transactions on Programming and Systems, 16(6): – 1674, Probabilistic Unfoldings and Partial Order Fairness in Petri Nets Stefan 94 Harald Fecher et al.

A completed hierarchy of true concurrent equivalences - ScienceDirect

www.sciencedirect.com

A completed hierarchy of true concurrent equivalences. Harald Fecher. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-Universität ...

Harald Fecher - dblpdblp.uni-trier.de › Persons

dblp.uni-trier.de

List of computer science publications by Harald Fecher Harald Fecher, Mila E. Majster-Cederbaum: Taking decisions late: end-based choice combined with ...

dblp: Harald Fecher

dblp.org

List of computer science publications by Harald Fecher

PCTL model checking of Markov chains: Truth and falsity as winning...

www.sciencedirect.com

Harald Fecher graduated in Mathematics from the Technical University of Darmstadt, Germany, in In 2003, he obtained his Ph.D. degree in Computer ...

Characteristic μ-Calculus Formulas for Underspecified Transition ...cyberleninka.org › article

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Martin Steffen. Abstract Underspecification, which ...

Department of Computer Science, University of Oxford: Hintikka Games...

www.cs.ox.ac.uk

Hintikka Games for PCTL on Labeled Markov Chains

Electronic Notes in Theoretical Computer Science, Volume 250vldbarc.org › dblp › journals › entcs › entcs250

vldbarc.org

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn: Refinement Sensitive Formal Semantics of State Machines With Persistent Choice

Refinement Sensitive Formal Semantics of State Machines ...

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn.

Process Algebra Having Inherent Choice: Revised Semantics ...cyberleninka.org › article

cyberleninka.org

Abstract of research paper on Computer and information sciences, author of scientific article — Harald Fecher, Heiko Schmidt. Abstract Process algebras are ...

Alle Infos zum Namen "Harald Fecher"

Verwandte Suchanfragen zu Harald Fecher

Martin Leucker
Martin Schäf
Jens Schönborn

Corina Mitrohin
Michael Huth
Marcel Kyas

Stefan Maus
Thomas Liesching
Verena Wolf

Person "Fecher" (3)
Vorname "Harald" (27867)
Name "Fecher" (338)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Harald Fecher und Computer Person-Info