Search dblp for Publications

export results for "toc:db/conf/formats/formats2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/formats/AljazzarL06,
  author       = {Husain Aljazzar and
                  Stefan Leue},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Extended Directed Search for Probabilistic Timed Reachability},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {33--51},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_4},
  doi          = {10.1007/11867340\_4},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/AljazzarL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BerardGP06,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Paul Gastin and
                  Antoine Petit},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Intersection of Regular Signal-Event (Timed) Languages},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_5},
  doi          = {10.1007/11867340\_5},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/BerardGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BerardGP06a,
  author       = {B{\'{e}}atrice B{\'{e}}rard and
                  Paul Gastin and
                  Antoine Petit},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Refinements and Abstractions of Signal-Event (Timed) Languages},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {67--81},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_6},
  doi          = {10.1007/11867340\_6},
  timestamp    = {Thu, 14 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/BerardGP06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/BerthomieuPV06,
  author       = {Bernard Berthomieu and
                  Florent Peres and
                  Fran{\c{c}}ois Vernadat},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Bridging the Gap Between Timed Automata and Bounded Time Petri Nets},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {82--97},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_7},
  doi          = {10.1007/11867340\_7},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/BerthomieuPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/ChandrasekaranM06,
  author       = {Prakash Chandrasekaran and
                  Madhavan Mukund},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Matching Scenarios with Timing Constraints},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {98--112},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_8},
  doi          = {10.1007/11867340\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ChandrasekaranM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/ChevallierEFX06,
  author       = {Remy Chevallier and
                  Emmanuelle Encrenaz{-}Tiph{\`{e}}ne and
                  Laurent Fribourg and
                  Weiwen Xu},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Verification of the Generic Architecture of a Memory Circuit Using
                  Parametric Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {113--127},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_9},
  doi          = {10.1007/11867340\_9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/ChevallierEFX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/DavidHLP06,
  author       = {Alexandre David and
                  John H{\aa}kansson and
                  Kim Guldstrand Larsen and
                  Paul Pettersson},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Model Checking Timed Automata with Priorities Using {DBM} Subtraction},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {128--142},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_10},
  doi          = {10.1007/11867340\_10},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DavidHLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/DawsK06,
  author       = {Conrado Daws and
                  Piotr Kordy},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Symbolic Robustness Analysis of Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {143--155},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_11},
  doi          = {10.1007/11867340\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/DawsK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Duguid06,
  author       = {Adam Duguid},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Coping with the Parallelism of BitTorrent: Conversion of {PEPA} to
                  ODEs in Dealing with State Space Explosion},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_12},
  doi          = {10.1007/11867340\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Duguid06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/FainekosGP06,
  author       = {Georgios E. Fainekos and
                  Antoine Girard and
                  George J. Pappas},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Temporal Logic Verification Using Simulation},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {171--186},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_13},
  doi          = {10.1007/11867340\_13},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/FainekosGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Finkel06,
  author       = {Olivier Finkel},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Undecidable Problems About Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {187--199},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_14},
  doi          = {10.1007/11867340\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Finkel06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Frehse06,
  author       = {Goran Frehse},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {On Timed Simulation Relations for Hybrid Systems and Compositionality},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_15},
  doi          = {10.1007/11867340\_15},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/Frehse06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/FuriaR06,
  author       = {Carlo A. Furia and
                  Matteo Rossi},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Integrating Discrete- and Continuous-Time Metric Temporal Logics Through
                  Sampling},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {215--229},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_16},
  doi          = {10.1007/11867340\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/FuriaR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/HaddadRS06,
  author       = {Serge Haddad and
                  Laura Recalde and
                  Manuel Silva Su{\'{a}}rez},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {On the Computational Power of Timed Differentiable Petri Nets},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {230--244},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_17},
  doi          = {10.1007/11867340\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HaddadRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/HenzingerP06,
  author       = {Thomas A. Henzinger and
                  Vinayak S. Prabhu},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Timed Alternating-Time Temporal Logic},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_1},
  doi          = {10.1007/11867340\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HenzingerP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/LaroussinieMO06,
  author       = {Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey and
                  Ghassan Oreiby},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Model-Checking Timed},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {245--259},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_18},
  doi          = {10.1007/11867340\_18},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/formats/LaroussinieMO06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Lee06,
  author       = {Edward A. Lee},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Concurrent Semantics Without the Notions of State or State Transitions},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {18--31},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_2},
  doi          = {10.1007/11867340\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Lee06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/LodayaP06,
  author       = {Kamal Lodaya and
                  Paritosh K. Pandya},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {A Dose of Timed Logic, in Guarded Measure},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {260--273},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_19},
  doi          = {10.1007/11867340\_19},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/LodayaP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/MalerNP06,
  author       = {Oded Maler and
                  Dejan Nickovic and
                  Amir Pnueli},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {From {MITL} to Timed Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {274--289},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_20},
  doi          = {10.1007/11867340\_20},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/MalerNP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/NiebertQ06,
  author       = {Peter Niebert and
                  Hongyang Qu},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Adding Invariants to Event Zone Automata},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {290--305},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_21},
  doi          = {10.1007/11867340\_21},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/NiebertQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/PaceS06,
  author       = {Gordon J. Pace and
                  Gerardo Schneider},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Static Analysis for State-Space Reduction of Polygonal Hybrid Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {306--321},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_22},
  doi          = {10.1007/11867340\_22},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PaceS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/PrabhakarD06,
  author       = {Pavithra Prabhakar and
                  Deepak D'Souza},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {On the Expressiveness of {MTL} with Past Operators},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_23},
  doi          = {10.1007/11867340\_23},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/PrabhakarD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Rabinovich06,
  author       = {Alexander Moshe Rabinovich},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Decidability and Expressive Power of Real Time Logics},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_3},
  doi          = {10.1007/11867340\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Rabinovich06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/Vasilyev06,
  author       = {Pavel Vasilyev},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Simulator for Real-Time Abstract State Machines},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {337--351},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_24},
  doi          = {10.1007/11867340\_24},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/Vasilyev06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/WolovickJ06,
  author       = {Nicol{\'{a}}s Wolovick and
                  Sven Johr},
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {A Characterization of Meaningful Schedulers for Continuous-Time Markov
                  Decision Processes},
  booktitle    = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  pages        = {352--367},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340\_25},
  doi          = {10.1007/11867340\_25},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/WolovickJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/formats/2006,
  editor       = {Eugene Asarin and
                  Patricia Bouyer},
  title        = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
                  {FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4202},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11867340},
  doi          = {10.1007/11867340},
  isbn         = {3-540-45026-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/2006.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.