## A Static Analysis Technique for Graph Transformation Systems (2001)

### Cached

### Download Links

- [wwwbrauer.informatik.tu-muenchen.de]
- [www.math.unipd.it]
- [www.math.unipd.it]
- [www.math.unipd.it]
- [www.ti.inf.uni-due.de]
- DBLP

### Other Repositories/Bibliography

by
Paolo Baldan
,
Andrea Corradini
,
Barbara König

Venue: | In Proc. of CONCUR ’01 |

Citations: | 42 - 17 self |