%0 Conference Paper %1 conf/smc/Roubtsova04 %A Roubtsova, Ella E. %B SMC (3) %D 2004 %I IEEE %K dblp %P 2617-2622 %T Property specification for coloured Petri nets. %U http://dblp.uni-trier.de/db/conf/smc/smc2004-3.html#Roubtsova04 %@ 0-7803-8566-7

@inproceedings{conf/smc/Roubtsova04, added-at = {2021-10-14T00:00:00.000+0200}, author = {Roubtsova, Ella E.}, biburl = {https://www.bibsonomy.org/bibtex/2bcde3e98c00c10a674620ae5a41341aa/dblp}, booktitle = {SMC (3)}, crossref = {conf/smc/2004}, ee = {https://doi.org/10.1109/ICSMC.2004.1400725}, interhash = {6f272552a7f4a17507a97deadcb363dd}, intrahash = {bcde3e98c00c10a674620ae5a41341aa}, isbn = {0-7803-8566-7}, keywords = {dblp}, pages = {2617-2622}, publisher = {IEEE}, timestamp = {2024-04-10T09:07:20.000+0200}, title = {Property specification for coloured Petri nets.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2004-3.html#Roubtsova04}, year = 2004 }