Basel Katt, Michael Hafner, Xinwen Zhang. Building a stateful reference monitor with coloured petri nets. In The 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2009, Washington DC, USA, November 11-14, 2009. pages 1-10, IEEE, 2009. [doi]
@inproceedings{KattHZ09,
title = {Building a stateful reference monitor with coloured petri nets},
author = {Basel Katt and Michael Hafner and Xinwen Zhang},
year = {2009},
doi = {10.4108/ICST.COLLABORATECOM2009.8375},
url = {http://dx.doi.org/10.4108/ICST.COLLABORATECOM2009.8375},
researchr = {https://researchr.org/publication/KattHZ09},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {The 5th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2009, Washington DC, USA, November 11-14, 2009},
publisher = {IEEE},
isbn = {978-963-9799-76-9},
}