Search dblp for Publications

export results for "toc:db/conf/forte/forte2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/forte/AcciaiBN11,
  author       = {Lucia Acciai and
                  Michele Boreale and
                  Rocco De Nicola},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Linear-Time and May-Testing in a Probabilistic Reactive Setting},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {29--43},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_2},
  doi          = {10.1007/978-3-642-21461-5\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AcciaiBN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/AsirelliBFG11,
  author       = {Patrizia Asirelli and
                  Maurice H. ter Beek and
                  Alessandro Fantechi and
                  Stefania Gnesi},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {A Model-Checking Tool for Families of Services},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {44--58},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_3},
  doi          = {10.1007/978-3-642-21461-5\_3},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AsirelliBFG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BogdollFHH11,
  author       = {Jonathan Bogdoll and
                  Luis Mar{\'{\i}}a Ferrer Fioriti and
                  Arnd Hartmanns and
                  Holger Hermanns},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Partial Order Methods for Statistical Model Checking and Simulation},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {59--74},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_4},
  doi          = {10.1007/978-3-642-21461-5\_4},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BogdollFHH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BraitlingWBJA11,
  author       = {Bettina Braitling and
                  Ralf Wimmer and
                  Bernd Becker and
                  Nils Jansen and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Counterexample Generation for Markov Chains Using SMT-Based Bounded
                  Model Checking},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {75--89},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_5},
  doi          = {10.1007/978-3-642-21461-5\_5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/BraitlingWBJA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/BravettiGPZ11,
  author       = {Mario Bravetti and
                  Cinzia Di Giusto and
                  Jorge A. P{\'{e}}rez and
                  Gianluigi Zavattaro},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Adaptable Processes (Extended Abstract)},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {90--105},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_6},
  doi          = {10.1007/978-3-642-21461-5\_6},
  timestamp    = {Wed, 02 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/BravettiGPZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/CastagnaDP11,
  author       = {Giuseppe Castagna and
                  Mariangiola Dezani{-}Ciancaglini and
                  Luca Padovani},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {On Global Types and Multi-party Sessions},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {1--28},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_1},
  doi          = {10.1007/978-3-642-21461-5\_1},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/CastagnaDP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/DengGM11,
  author       = {Yuxin Deng and
                  St{\'{e}}phane Grumbach and
                  Jean{-}Fran{\c{c}}ois Monin},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {A Framework for Verifying Data-Centric Protocols},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {106--120},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_7},
  doi          = {10.1007/978-3-642-21461-5\_7},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/DengGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/DerrickB11,
  author       = {John Derrick and
                  Eerke A. Boiten},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Relational Concurrent Refinement: Timed Refinement},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_8},
  doi          = {10.1007/978-3-642-21461-5\_8},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/DerrickB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FilipiukTNN11,
  author       = {Piotr Filipiuk and
                  Michal Terepeta and
                  Hanne Riis Nielson and
                  Flemming Nielson},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Galois Connections for Flow Algebras},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_9},
  doi          = {10.1007/978-3-642-21461-5\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/FilipiukTNN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/FrataniT11,
  author       = {S{\'{e}}verine Fratani and
                  Jean{-}Marc Talbot},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {An Accurate Type System for Information Flow in Presence of Arrays},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_10},
  doi          = {10.1007/978-3-642-21461-5\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/FrataniT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GiachinoL11,
  author       = {Elena Giachino and
                  Cosimo Laneve},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Analysis of Deadlocks in Object Groups},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_11},
  doi          = {10.1007/978-3-642-21461-5\_11},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/GiachinoL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/GrafPQ11,
  author       = {Susanne Graf and
                  Doron A. Peled and
                  Sophie Quinton},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Monitoring Distributed Systems Using Knowledge},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_12},
  doi          = {10.1007/978-3-642-21461-5\_12},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/GrafPQ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/KalyonGMM11,
  author       = {Gabriel Kalyon and
                  Tristan Le Gall and
                  Herv{\'{e}} Marchand and
                  Thierry Massart},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Global State Estimates for Distributed Systems},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {198--212},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_13},
  doi          = {10.1007/978-3-642-21461-5\_13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/KalyonGMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/KouzapasP11,
  author       = {Dimitrios Kouzapas and
                  Anna Philippou},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {A Process Calculus for Dynamic Networks},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_14},
  doi          = {10.1007/978-3-642-21461-5\_14},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/KouzapasP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/KouzapasYH11,
  author       = {Dimitrios Kouzapas and
                  Nobuko Yoshida and
                  Kohei Honda},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {On Asynchronous Session Semantics},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {228--243},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_15},
  doi          = {10.1007/978-3-642-21461-5\_15},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/KouzapasYH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/LuMW11,
  author       = {Tianxiang Lu and
                  Stephan Merz and
                  Christoph Weidenbach},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Towards Verification of the Pastry Protocol Using TLA\({}^{\mbox{
                  + }}\)},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {244--258},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_16},
  doi          = {10.1007/978-3-642-21461-5\_16},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/LuMW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/Martos-SalgadoR11,
  author       = {Mar{\'{\i}}a Martos{-}Salgado and
                  Fernando Rosa{-}Velardo},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Dynamic Soundness in Resource-Constrained Workflow Nets},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {259--273},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_17},
  doi          = {10.1007/978-3-642-21461-5\_17},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/Martos-SalgadoR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/MerzQR11,
  author       = {Stephan Merz and
                  Martin Quinson and
                  Cristian Daniel Rosa},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {SimGrid {MC:} Verification Support for a Multi-API Simulation Platform},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_18},
  doi          = {10.1007/978-3-642-21461-5\_18},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/MerzQR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/PatrignaniCS11,
  author       = {Marco Patrignani and
                  Dave Clarke and
                  Davide Sangiorgi},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Ownership Types for the Join Calculus},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {289--303},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_19},
  doi          = {10.1007/978-3-642-21461-5\_19},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/PatrignaniCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SlattenH11,
  author       = {Vidar Sl{\aa}tten and
                  Peter Herrmann},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Contracts for Multi-instance {UML} Activities},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {304--318},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_20},
  doi          = {10.1007/978-3-642-21461-5\_20},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/SlattenH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/VogelsJPS11,
  author       = {Fr{\'{e}}d{\'{e}}ric Vogels and
                  Bart Jacobs and
                  Frank Piessens and
                  Jan Smans},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Annotation Inference for Separation Logic Based Verifiers},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {319--333},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_21},
  doi          = {10.1007/978-3-642-21461-5\_21},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/VogelsJPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/WangTJLS11,
  author       = {Anduo Wang and
                  Carolyn L. Talcott and
                  Limin Jia and
                  Boon Thau Loo and
                  Andre Scedrov},
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Analyzing {BGP} Instances in Maude},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  pages        = {334--348},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5\_22},
  doi          = {10.1007/978-3-642-21461-5\_22},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/WangTJLS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/forte/2011,
  editor       = {Roberto Bruni and
                  J{\"{u}}rgen Dingel},
  title        = {Formal Techniques for Distributed Systems - Joint 13th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2011, and 31st {IFIP} {WG}
                  6.1 International Conference, {FORTE} 2011, Reykjavik, Iceland, June
                  6-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6722},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21461-5},
  doi          = {10.1007/978-3-642-21461-5},
  isbn         = {978-3-642-21460-8},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/2011.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.