Burkhard Graves

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

1 EE Burkhard Graves: Computing Reachability Properties Hidden in Finite Net Unfoldings. FSTTCS 1997: 327-341