%0 Conference Paper %1 conf/pnpm/ClausenJ93 %A Clausen, Henning %A Jensen, Peter Ryberg %B PNPM %D 1993 %I IEEE Computer Society %K dblp %P 280-289 %T Validation and performance analysis of network algorithms by coloured Petri nets. %U http://dblp.uni-trier.de/db/conf/pnpm/pnpm1993.html#ClausenJ93 %@ 0-8186-4250-5

@inproceedings{conf/pnpm/ClausenJ93, added-at = {2023-03-24T00:00:00.000+0100}, author = {Clausen, Henning and Jensen, Peter Ryberg}, biburl = {https://www.bibsonomy.org/bibtex/2197c2a83b4b49b964edeb01609031e37/dblp}, booktitle = {PNPM}, crossref = {conf/pnpm/1993}, ee = {https://doi.ieeecomputersociety.org/10.1109/PNPM.1993.393443}, interhash = {ece63730b1e43f51659b727e14078488}, intrahash = {197c2a83b4b49b964edeb01609031e37}, isbn = {0-8186-4250-5}, keywords = {dblp}, pages = {280-289}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:13:45.000+0200}, title = {Validation and performance analysis of network algorithms by coloured Petri nets.}, url = {http://dblp.uni-trier.de/db/conf/pnpm/pnpm1993.html#ClausenJ93}, year = 1993 }