%0 Conference Paper %1 conf/smc/DrissYKG04 %A Driss, Olfa Belkahla %A Yim, Pascal %A Korbaa, Ouajdi %A Ghédira, Khaled %B SMC (5) %D 2004 %I IEEE %K dblp %P 4923-4928 %T Reachability search in timed Petri nets using constraint programming. %U http://dblp.uni-trier.de/db/conf/smc/smc2004-5.html#DrissYKG04 %@ 0-7803-8566-7

@inproceedings{conf/smc/DrissYKG04, added-at = {2018-11-02T00:00:00.000+0100}, author = {Driss, Olfa Belkahla and Yim, Pascal and Korbaa, Ouajdi and Ghédira, Khaled}, biburl = {https://www.bibsonomy.org/bibtex/2ae650e2974f67fda0ac8bc4b39088d6d/dblp}, booktitle = {SMC (5)}, crossref = {conf/smc/2004}, ee = {https://doi.org/10.1109/ICSMC.2004.1401311}, interhash = {d04b72508a9bf207dbc80e20e8397854}, intrahash = {ae650e2974f67fda0ac8bc4b39088d6d}, isbn = {0-7803-8566-7}, keywords = {dblp}, pages = {4923-4928}, publisher = {IEEE}, timestamp = {2018-11-03T16:00:00.000+0100}, title = {Reachability search in timed Petri nets using constraint programming.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2004-5.html#DrissYKG04}, year = 2004 }