Ella E. Roubtsova. Property specification for coloured Petri nets. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004. pages 2617-2622, IEEE, 2004. [doi]
@inproceedings{Roubtsova04, title = {Property specification for coloured Petri nets}, author = {Ella E. Roubtsova}, year = {2004}, doi = {10.1109/ICSMC.2004.1400725}, url = {http://dx.doi.org/10.1109/ICSMC.2004.1400725}, tags = {e-science}, researchr = {https://researchr.org/publication/Roubtsova04}, cites = {0}, citedby = {0}, pages = {2617-2622}, booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004}, publisher = {IEEE}, isbn = {0-7803-8566-7}, }