Search dblp for Publications

export results for "toc:db/conf/sas/sas2008.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sas/AlbertAGP08,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Samir Genaim and
                  Germ{\'{a}}n Puebla},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Automatic Inference of Upper Bounds for Recurrence Relations in Cost
                  Analysis},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_15},
  doi          = {10.1007/978-3-540-69166-2\_15},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/AlbertAGP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/AllamigeonGG08,
  author       = {Xavier Allamigeon and
                  Stephane Gaubert and
                  Eric Goubault},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Inferring Min and Max Invariants Using Max-Plus Polyhedra},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {189--204},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_13},
  doi          = {10.1007/978-3-540-69166-2\_13},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/AllamigeonGG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BalakrishnanSIWG08,
  author       = {Gogul Balakrishnan and
                  Sriram Sankaranarayanan and
                  Franjo Ivancic and
                  Ou Wei and
                  Aarti Gupta},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {{SLR:} Path-Sensitive Analysis through Infeasible-Path Detection and
                  Syntactic Language Refinement},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {238--254},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_16},
  doi          = {10.1007/978-3-540-69166-2\_16},
  timestamp    = {Fri, 06 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BalakrishnanSIWG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/BauerNNP08,
  author       = {J{\"{o}}rg Bauer and
                  Flemming Nielson and
                  Hanne Riis Nielson and
                  Henrik Pilegaard},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Relational Analysis of Correlation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {32--46},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_3},
  doi          = {10.1007/978-3-540-69166-2\_3},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BauerNNP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/CominiDV08,
  author       = {Marco Comini and
                  Ferruccio Damiani and
                  Samuel Vrech},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {On Polymorphic Recursion, Type Systems, and Abstract Interpretation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {144--158},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_10},
  doi          = {10.1007/978-3-540-69166-2\_10},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/CominiDV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ConwayDNB08,
  author       = {Christopher L. Conway and
                  Dennis Dams and
                  Kedar S. Namjoshi and
                  Clark W. Barrett},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Pointer Analysis, Conditional Soundness, and Proving the Absence of
                  Errors},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {62--77},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_5},
  doi          = {10.1007/978-3-540-69166-2\_5},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ConwayDNB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/GiacobazziM08,
  author       = {Roberto Giacobazzi and
                  Isabella Mastroeni},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Transforming Abstract Interpretations by Abstract Interpretation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_1},
  doi          = {10.1007/978-3-540-69166-2\_1},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/GiacobazziM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/HornM08,
  author       = {David Van Horn and
                  Harry G. Mairson},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Flow Analysis, Linearity, and {PTIME}},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {255--269},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_17},
  doi          = {10.1007/978-3-540-69166-2\_17},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HornM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/KiddLR08,
  author       = {Nicholas Kidd and
                  Akash Lal and
                  Thomas W. Reps},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Language Strength Reduction},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {283--298},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_19},
  doi          = {10.1007/978-3-540-69166-2\_19},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/KiddLR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LalR08,
  author       = {Akash Lal and
                  Thomas W. Reps},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Solving Multiple Dataflow Queries Using WPDSs},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {93--109},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_7},
  doi          = {10.1007/978-3-540-69166-2\_7},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LalR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/LammichM08,
  author       = {Peter Lammich and
                  Markus M{\"{u}}ller{-}Olm},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Conflict Analysis of Programs with Procedures, Dynamic Thread Creation,
                  and Monitors},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {205--220},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_14},
  doi          = {10.1007/978-3-540-69166-2\_14},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/LammichM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Leroux08,
  author       = {J{\'{e}}r{\^{o}}me Leroux},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Convex Hull of Arithmetic Automata},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {47--61},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_4},
  doi          = {10.1007/978-3-540-69166-2\_4},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Leroux08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Liblit08,
  author       = {Ben Liblit},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Reflections on the Role of Static Analysis in Cooperative Bug Isolation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {18--31},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_2},
  doi          = {10.1007/978-3-540-69166-2\_2},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Liblit08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/ManevichLSRB08,
  author       = {Roman Manevich and
                  Tal Lev{-}Ami and
                  Mooly Sagiv and
                  Ganesan Ramalingam and
                  Josh Berdine},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Heap Decomposition for Concurrent Shape Analysis},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {363--377},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_24},
  doi          = {10.1007/978-3-540-69166-2\_24},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ManevichLSRB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/MidtgaardJ08,
  author       = {Jan Midtgaard and
                  Thomas P. Jensen},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {A Calculational Approach to Control-Flow Analysis by Abstract Interpretation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {347--362},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_23},
  doi          = {10.1007/978-3-540-69166-2\_23},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MidtgaardJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/NanzNN08,
  author       = {Sebastian Nanz and
                  Flemming Nielson and
                  Hanne Riis Nielson},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Modal Abstractions of Concurrent Behaviour},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {159--173},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_11},
  doi          = {10.1007/978-3-540-69166-2\_11},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/NanzNN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Perdrix08,
  author       = {Simon Perdrix},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Quantum Entanglement Analysis Based on Abstract Interpretation},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {270--282},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_18},
  doi          = {10.1007/978-3-540-69166-2\_18},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Perdrix08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/PerryW08,
  author       = {Frances Perry and
                  David Walker},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Reasoning about Control Flow in the Presence of Transient Faults},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {332--346},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_22},
  doi          = {10.1007/978-3-540-69166-2\_22},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/PerryW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/PrabhuS08,
  author       = {Prakash Prabhu and
                  Priti Shankar},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap
                  Array {SSA}},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {110--127},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_8},
  doi          = {10.1007/978-3-540-69166-2\_8},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/PrabhuS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/PredaGV08,
  author       = {Mila Dalla Preda and
                  Roberto Giacobazzi and
                  Enrico Visentini},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Hiding Software Watermarks in Loop Structures},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {174--188},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_12},
  doi          = {10.1007/978-3-540-69166-2\_12},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/PredaGV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RamanathanSGJ08,
  author       = {Murali Krishna Ramanathan and
                  Koushik Sen and
                  Ananth Grama and
                  Suresh Jagannathan},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Protocol Inference Using Static Path Profiles},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {78--92},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_6},
  doi          = {10.1007/978-3-540-69166-2\_6},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RamanathanSGJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/RuggieriM08,
  author       = {Salvatore Ruggieri and
                  Fr{\'{e}}d{\'{e}}ric Mesnard},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Typing Linear Constraints for Moding {CLP()} Programs},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {128--143},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_9},
  doi          = {10.1007/978-3-540-69166-2\_9},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/RuggieriM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/SeidlFP08,
  author       = {Helmut Seidl and
                  Andrea Flexeder and
                  Michael Petter},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Analysing All Polynomial Equations in},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {299--314},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_20},
  doi          = {10.1007/978-3-540-69166-2\_20},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/SeidlFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sas/Simon08,
  author       = {Axel Simon},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Splitting the Control Flow with Boolean Flags},
  booktitle    = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  pages        = {315--331},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2\_21},
  doi          = {10.1007/978-3-540-69166-2\_21},
  timestamp    = {Wed, 24 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/Simon08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/sas/2008,
  editor       = {Mar{\'{\i}}a Alpuente and
                  Germ{\'{a}}n Vidal},
  title        = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
                  Spain, July 16-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5079},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-69166-2},
  doi          = {10.1007/978-3-540-69166-2},
  isbn         = {978-3-540-69163-1},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.