The following pages link to Heiko Dörr (Q175409):
Displayed 4 items.
- Efficient graph rewriting and its implementation (Q1894781) (← links)
- (Q5485982) (← links)
- Specifying embedded systems with statecharts and Z: An agenda for cyclic software components (Q5931380) (← links)
- Bypass strong V-structures and find an isomorphic labelled subgraph in linear time (Q6184379) (← links)