%0 Conference Paper %1 conf/csl/DelzannoEP99 %A Delzanno, Giorgio %A Esparza, Javier %A Podelski, Andreas %B CSL %D 1999 %E Flum, Jörg %E Rodríguez-Artalejo, Mario %I Springer %K dblp %P 50-66 %T Constraint-Based Analysis of Broadcast Protocols. %U http://dblp.uni-trier.de/db/conf/csl/csl99.html#DelzannoEP99 %V 1683 %@ 3-540-66536-6

@inproceedings{conf/csl/DelzannoEP99, added-at = {2017-05-24T00:00:00.000+0200}, author = {Delzanno, Giorgio and Esparza, Javier and Podelski, Andreas}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2531bee3ac08983a8e3d644d23ecf516a/dblp}, booktitle = {CSL}, crossref = {conf/csl/1999}, editor = {Flum, Jörg and Rodríguez-Artalejo, Mario}, ee = {https://doi.org/10.1007/3-540-48168-0_5}, interhash = {26d6d02a0403e84958a06f826fbafc5e}, intrahash = {531bee3ac08983a8e3d644d23ecf516a}, isbn = {3-540-66536-6}, keywords = {dblp}, pages = {50-66}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:59:51.000+0200}, title = {Constraint-Based Analysis of Broadcast Protocols.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl99.html#DelzannoEP99}, volume = 1683, year = 1999 }