Search dblp for Publications

export results for "toc:db/conf/wadt/wadt2006.bht:"

 download as .bib file

@proceedings{DBLP:conf/wadt/2006,
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-71998-4},
  doi          = {10.1007/978-3-540-71998-4},
  isbn         = {978-3-540-71997-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/BaldanCKL06,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Barbara K{\"{o}}nig and
                  Alberto Lluch{-}Lafuente},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {A Temporal Graph Logic for Verification of Graph Transformation Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_1},
  doi          = {10.1007/978-3-540-71998-4\_1},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BaldanCKL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/CaleiroG06,
  author       = {Carlos Caleiro and
                  Ricardo Gon{\c{c}}alves},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {On the Algebraization of Many-Sorted Logics},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {21--36},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_2},
  doi          = {10.1007/978-3-540-71998-4\_2},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CaleiroG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/FiadeiroLB06,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Ant{\'{o}}nia Lopes and
                  Laura Bocchi},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Algebraic Semantics of Service Component Modules},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {37--55},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_3},
  doi          = {10.1007/978-3-540-71998-4\_3},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/FiadeiroLB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/KreowskiK06,
  author       = {Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Autonomous Units and Their Semantics - The Parallel Case},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {56--73},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_4},
  doi          = {10.1007/978-3-540-71998-4\_4},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/KreowskiK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LangenhoveH06,
  author       = {Sara Van Langenhove and
                  Albert Hoogewijs},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {SV\({}_{\mbox{t}}\)L: System Verification Through Logic Tool Support
                  for Verifying Sliced Hierarchical Statecharts},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {142--155},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_9},
  doi          = {10.1007/978-3-540-71998-4\_9},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LangenhoveH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/LuttichM06,
  author       = {Klaus L{\"{u}}ttich and
                  Till Mossakowski},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Reasoning Support for Caslwith Automated Theorem Proving Systems},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {74--91},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_5},
  doi          = {10.1007/978-3-540-71998-4\_5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/LuttichM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MensS06,
  author       = {Tom Mens and
                  Ragnhild Van Der Straeten},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Incremental Resolution of Model Inconsistencies},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {111--126},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_7},
  doi          = {10.1007/978-3-540-71998-4\_7},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MensS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/MossakowskiR06,
  author       = {Till Mossakowski and
                  Markus Roggenbach},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Structured {CSP} - {A} Process Algebra as an Institution},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {92--110},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_6},
  doi          = {10.1007/978-3-540-71998-4\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/SchroderM06,
  author       = {Lutz Schr{\"{o}}der and
                  Till Mossakowski},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {Coalgebraic Modal Logic in CoCasl},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {127--141},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_8},
  doi          = {10.1007/978-3-540-71998-4\_8},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/SchroderM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wadt/Wolter06,
  author       = {Uwe Wolter},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Pierre{-}Yves Schobbens},
  title        = {A (Co)Algebraic Analysis of Synchronization in {CSP}},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 18th International
                  Workshop, {WADT} 2006, La Roche en Ardenne, Belgium, June 1-3, 2006,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4409},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71998-4\_10},
  doi          = {10.1007/978-3-540-71998-4\_10},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/Wolter06.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.