Search dblp for Publications

export results for "toc:db/series/ifip/afss1999.bht:"

 download as .bib file

@incollection{DBLP:series/ifip/AstesianoBR99,
  author       = {Egidio Astesiano and
                  Manfred Broy and
                  Gianna Reggio},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Algebraic Specification of Concurrent Systems},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {467--520},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_13},
  doi          = {10.1007/978-3-642-59851-7\_13},
  timestamp    = {Tue, 16 May 2017 14:24:23 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/AstesianoBR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/BasinK99,
  author       = {David A. Basin and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Formalization of the Development Process},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {521--562},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_14},
  doi          = {10.1007/978-3-642-59851-7\_14},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/BasinK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/BidoitCH99,
  author       = {Michel Bidoit and
                  Mar{\'{\i}}a Victoria Cengarle and
                  Rolf Hennicker},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Proof Systems for Structured Specifications and Their Refinements},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {385--433},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_11},
  doi          = {10.1007/978-3-642-59851-7\_11},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/BidoitCH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/CerioliMR99,
  author       = {Maura Cerioli and
                  Till Mossakowski and
                  Horst Reichel},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {From Total Equational to Partial First-Order Logic},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {31--104},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_3},
  doi          = {10.1007/978-3-642-59851-7\_3},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/CerioliMR99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Ehrich99,
  author       = {Hans{-}Dieter Ehrich},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Object Specification},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {435--465},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_12},
  doi          = {10.1007/978-3-642-59851-7\_12},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Ehrich99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/EhrigK99,
  author       = {Hartmut Ehrig and
                  Hans{-}J{\"{o}}rg Kreowski},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Refinement and Implementation},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {201--242},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_7},
  doi          = {10.1007/978-3-642-59851-7\_7},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/EhrigK99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/GaudelB99,
  author       = {Marie{-}Claude Gaudel and
                  Gilles Bernot},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {The Role of Formal Specifications},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_1},
  doi          = {10.1007/978-3-642-59851-7\_1},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/GaudelB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Kirchner99,
  author       = {H{\'{e}}l{\`{e}}ne Kirchner},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Term Rewriting},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {273--320},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_9},
  doi          = {10.1007/978-3-642-59851-7\_9},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Kirchner99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Orejas99,
  author       = {Fernando Orejas},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Structuring and Modularity},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {159--200},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_6},
  doi          = {10.1007/978-3-642-59851-7\_6},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Orejas99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Padawitz99,
  author       = {Peter Padawitz},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Proof in Flat Specifications},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {321--384},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_10},
  doi          = {10.1007/978-3-642-59851-7\_10},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Padawitz99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Reichel99,
  author       = {Horst Reichel},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Specification Semantics},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {131--158},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_5},
  doi          = {10.1007/978-3-642-59851-7\_5},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Reichel99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/SannellaT99,
  author       = {Donald Sannella and
                  Andrzej Tarlecki},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Algebraic Preliminaries},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {13--30},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_2},
  doi          = {10.1007/978-3-642-59851-7\_2},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/SannellaT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/SannellaW99,
  author       = {Donald Sannella and
                  Martin Wirsing},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Specification Languages},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {243--272},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_8},
  doi          = {10.1007/978-3-642-59851-7\_8},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/SannellaW99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/ifip/Tarlecki99,
  author       = {Andrzej Tarlecki},
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Institutions: An Abstract Framework for Formal Specifications},
  booktitle    = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  pages        = {105--130},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7\_4},
  doi          = {10.1007/978-3-642-59851-7\_4},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/Tarlecki99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:series/ifip/afss1999,
  editor       = {Egidio Astesiano and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Bernd Krieg{-}Br{\"{u}}ckner},
  title        = {Algebraic Foundations of Systems Specification},
  series       = {{IFIP} State-of-the-Art Reports},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-642-59851-7},
  doi          = {10.1007/978-3-642-59851-7},
  isbn         = {978-3-642-64151-0},
  timestamp    = {Tue, 16 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/ifip/afss1999.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.