%0 Journal Article %1 journals/deds/BouchenebB11 %A Boucheneb, Hanifa %A Barkaoui, Kamel %D 2011 %J Discrete Event Dynamic Systems %K dblp %N 2 %P 171-204 %T Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. %U http://dblp.uni-trier.de/db/journals/deds/deds21.html#BouchenebB11 %V 21

@article{journals/deds/BouchenebB11, added-at = {2011-04-18T00:00:00.000+0200}, author = {Boucheneb, Hanifa and Barkaoui, Kamel}, biburl = {https://www.bibsonomy.org/bibtex/2afd1de1c46a37b7946d26c00e113528b/dblp}, ee = {http://dx.doi.org/10.1007/s10626-011-0100-4}, interhash = {b63c13229a255a15c12fcfcfb0820bda}, intrahash = {afd1de1c46a37b7946d26c00e113528b}, journal = {Discrete Event Dynamic Systems}, keywords = {dblp}, number = 2, pages = {171-204}, timestamp = {2011-04-29T15:14:35.000+0200}, title = {Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds21.html#BouchenebB11}, volume = 21, year = 2011 }