|
@incollection{Gri00a, author = {Matthias Gries}, title = {Modeling a Memory Subsystem with Petri Nets: a Case Study}, booktitle = {A. Yakovlev, L. Gomes, and L. Lavagno (Eds), Hardware Design and Petri Nets}, pages = {291--310}, month = {Mar}, year = {2000} }