The following pages link to Walter Vogler (Q396978):
Displayed 50 items.
- (Q3355248) (← links)
- A generalization of traces (Q3357559) (← links)
- Avoiding Irreducible CSC Conflicts by Internal Communication (Q3400544) (← links)
- Stronger Reduction Criteria for Local First Search (Q3525144) (← links)
- Time and Fairness in a Process Algebra with Non-blocking Reading (Q3599073) (← links)
- Safe Reasoning with Logic LTS (Q3599086) (← links)
- (Q3602753) (← links)
- (Q3676162) (← links)
- (Q3753474) (← links)
- Representing groups by graphs with constant link and hypergraphs (Q3768929) (← links)
- (Q3785958) (← links)
- (Q3795239) (← links)
- (Q3798213) (← links)
- (Q3804188) (← links)
- (Q3809730) (← links)
- The square of a connected S(K1,3)-free graph is vertex pancyclic (Q3815333) (← links)
- (Q3815541) (← links)
- (Q3976036) (← links)
- (Q4032308) (← links)
- (Q4035680) (← links)
- (Q4036588) (← links)
- (Q4037335) (← links)
- (Q4251922) (← links)
- (Q4415268) (← links)
- (Q4417602) (← links)
- (Q4535187) (← links)
- Efficiency of asynchronous systems and read arcs in petri nets (Q4571984) (← links)
- Fault-Free Refinements for Interface Automata (Q4621227) (← links)
- Timed testing of concurrent systems (Q4630289) (← links)
- The limit of splitn-language equivalence (Q4645217) (← links)
- (Q4694744) (← links)
- (Q4699325) (← links)
- (Q4711083) (← links)
- On the synchronization of traces (Q4733415) (← links)
- (Q4791840) (← links)
- (Q4804927) (← links)
- (Q4818825) (← links)
- (Q4964718) (← links)
- (Q4965857) (← links)
- Stubborn Sets, Frozen Actions, and Fair Testing (Q4989170) (← links)
- (Q5146599) (← links)
- Nondeterministic Modal Interfaces (Q5175101) (← links)
- Asynchronous communication of Petri Nets and the refinement of transitions (Q5204351) (← links)
- (Q5295516) (← links)
- Foundations of Software Science and Computation Structures (Q5308460) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
- Ready Simulation for Concurrency: It’s Logical! (Q5428856) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494305) (← links)
- Foundations of Software Science and Computational Structures (Q5705893) (← links)
- Foundations of Software Science and Computational Structures (Q5705910) (← links)