Searching for authors named "Harald Fecher" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems 1 Abstract
- … Abstract Harald Fecher 2 Department of Computing Imperial College London, UK Heiko Schmidt 3 Institut für…
- Add To MetaCart
-
Characteristic µ-calculus formula for an underspecified transition system
- … for Underspecified Transition Systems ⋆ Harald Fecher and Martin Steffen Christian-Albrechts-University Kiel, Germany…
- Cited by 1 (0 self) – Add To MetaCart
-
Comparing disjunctive modal transition systems with their one-selecting variant
- … Heiko Schmidt and Harald Fecher Christian-Albrechts-Universität zu Kiel, Germany {hsc…
- Cited by 2 (1 self) – Add To MetaCart
-
Don't Know in Probabilistic Systems
- …Don’t Know in Probabilistic Systems Harald Fecher 1 , Martin Leucker 2 , and Verena Wolf 3 1…
- Cited by 6 (2 self) – Add To MetaCart
-
W.P.: 29 New unclarities in the semantics of UML 2.0 state machines
- …29 New Unclarities in the Semantics of UML 2.0 State Machines ⋆ Harald Fecher, Jens Schönborn…
- Cited by 1 (0 self) – Add To MetaCart
-
Hintikka Games for PCTL on Labeled Markov Chains
- …Hintikka Games for PCTL on Labeled Markov Chains Harald Fecher Informatik, Universität Freiburg…
- Add To MetaCart
-
Formalizing UML Models and OCL Constraints in PVS
- … and Harald Fecher 2 Institute for Computer Science and Applied Mathematics, Christian…
- Add To MetaCart
Showing 1 through 7.
