|
@inproceedings{Gri98a, author = {Matthias Gries}, title = {Modeling a Memory Subsystem with Petri Nets: a Case Study}, address = {Lisabon, Portugal}, booktitle = {ATPN98, Workshop Hardware Design and Petri Nets HWPN98}, pages = {186--201}, month = {Jun}, year = {1998} }