The following pages link to Harald Fecher (Q1029092):
Displaying 23 items.
- (Q953527) (redirect page) (← links)
- Comparing disjunctive modal transition systems with an one-selecting variant (Q953529) (← links)
- A completed hierarchy of true concurrent equivalences (Q1029093) (← links)
- Bundle event structures: a revised cpo approach. (Q1853038) (← links)
- Action refinement applied to late decisions (Q2432235) (← links)
- (Q2765925) (← links)
- Refinement Sensitive Formal Semantics of State Machines With Persistent Choice (Q2810972) (← links)
- (Q2844828) (← links)
- (Q2844829) (← links)
- (Q2847408) (← links)
- (Q2848138) (← links)
- (Q2852096) (← links)
- Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems (Q2871829) (← links)
- On the Expressiveness of Refinement Settings (Q3400926) (← links)
- Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic (Q3508509) (← links)
- Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise (Q3522918) (← links)
- (Q4414393) (← links)
- (Q4813199) (← links)
- More Precise Partition Abstractions (Q5452605) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464749) (← links)
- (Q5472886) (← links)
- Model Checking Software (Q5899037) (← links)
