Alexander Pacholik, Wolfgang Fengler. A system model for formal verification of TLM based transaction properties. In George F. Riley, editor, Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 1. pages 93-99, SCS/ACM, 2007. [doi]
@inproceedings{PacholikF07,
title = {A system model for formal verification of TLM based transaction properties},
author = {Alexander Pacholik and Wolfgang Fengler},
year = {2007},
doi = {10.1145/1404595.1404609},
url = {http://doi.acm.org/10.1145/1404595.1404609},
tags = {rule-based},
researchr = {https://researchr.org/publication/PacholikF07},
cites = {0},
citedby = {0},
pages = {93-99},
booktitle = {Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 1},
editor = {George F. Riley},
publisher = {SCS/ACM},
isbn = {1-56555-312-8},
}