%0 Journal Article %1 journals/tsi/CeceHM08 %A Cécé, Gérard %A Héam, Pierre-Cyrille %A Mainier, Yann %D 2008 %J Technique et Science Informatiques %K dblp %N 1-2 %P 7-28 %T Clôtures transitives de semi-commutations et model-checking régulier. %U http://dblp.uni-trier.de/db/journals/tsi/tsi27.html#CeceHM08 %V 27

@article{journals/tsi/CeceHM08, added-at = {2012-11-07T00:00:00.000+0100}, author = {Cécé, Gérard and Héam, Pierre-Cyrille and Mainier, Yann}, biburl = {https://www.bibsonomy.org/bibtex/2ccb69fb347aedb3be50eec7ba041e938/dblp}, ee = {http://dx.doi.org/10.3166/tsi.27.7-28}, interhash = {b20c047e0e11735d38fc322102ad2cdb}, intrahash = {ccb69fb347aedb3be50eec7ba041e938}, journal = {Technique et Science Informatiques}, keywords = {dblp}, number = {1-2}, pages = {7-28}, timestamp = {2012-11-08T11:47:45.000+0100}, title = {Clôtures transitives de semi-commutations et model-checking régulier.}, url = {http://dblp.uni-trier.de/db/journals/tsi/tsi27.html#CeceHM08}, volume = 27, year = 2008 }