%0 Conference Paper %1 conf/fsttcs/FinkelL02 %A Finkel, Alain %A Leroux, Jérôme %B FSTTCS %D 2002 %E Agrawal, Manindra %E Seth, Anil %I Springer %K modelchecking %P 145-156 %T How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. %U http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PS/rr-lsv-2002-14.rr.ps %V 2556 %@ 3-540-00225-1

@inproceedings{conf/fsttcs/FinkelL02, added-at = {2020-01-16T19:00:17.000+0100}, author = {Finkel, Alain and Leroux, Jérôme}, biburl = {https://www.bibsonomy.org/bibtex/28f587000b3e9540945551e440b8e68a9/paves_intern}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2002}, editor = {Agrawal, Manindra and Seth, Anil}, ee = {https://doi.org/10.1007/3-540-36206-1_14}, interhash = {ba0ab2fd0360860566096918f3c242cd}, intrahash = {8f587000b3e9540945551e440b8e68a9}, isbn = {3-540-00225-1}, keywords = {modelchecking}, pages = {145-156}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-01-27T12:12:28.000+0100}, title = {How to Compose Presburger-Accelerations: Applications to Broadcast Protocols.}, url = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PS/rr-lsv-2002-14.rr.ps}, volume = 2556, year = 2002 }