Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/saint/MeissnerMW04,
  author       = {Andreas Meissner and
                  Sharath Babu Musunoori and
                  Lars C. Wolf},
  title        = {{MGMS/GML} - Towards a New Policy Specification Framework for Multicast
                  Group Integrity},
  booktitle    = {2004 Symposium on Applications and the Internet {(SAINT} 2004), 26-30
                  January 2004, Tokyo, Japan},
  pages        = {233--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/SAINT.2004.1266121},
  doi          = {10.1109/SAINT.2004.1266121},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/MeissnerMW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sebd/MontesiT95,
  author       = {Danilo Montesi and
                  Riccardo Torlone},
  editor       = {Antonio Albano and
                  Saverio Salerno and
                  Francesca Arcelli and
                  Matteo Gaeta and
                  Stefano Rizzo and
                  Giovanna Vantini},
  title        = {A New Framework for the Specification and the Implementation of Active
                  Database Systems},
  booktitle    = {Atti del Terzo Convegno Nazionale su Sistemi Evoluti per Basi di Dati,
                  {SEBD} 1995, Ravello (Costiera Amalfitana), Italy, 28-30 Giugno 1995},
  pages        = {99--117},
  year         = {1995},
  timestamp    = {Mon, 18 Jan 2016 11:07:09 +0100},
  biburl       = {https://dblp.org/rec/conf/sebd/MontesiT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:series/wsscs/EhrigBO93,
  author       = {Hartmut Ehrig and
                  Michael Baldamus and
                  Fernando Orejas},
  editor       = {Grzegorz Rozenberg and
                  Arto Salomaa},
  title        = {New Concepts for Amalgamation and Extension in the Framework of Specification
                  Logics},
  booktitle    = {Current Trends in Theoretical Computer Science - Essays and Tutorials},
  series       = {World Scientific Series in Computer Science},
  volume       = {40},
  pages        = {161--182},
  publisher    = {World Scientific},
  year         = {1993},
  url          = {https://doi.org/10.1142/9789812794499\_0012},
  doi          = {10.1142/9789812794499\_0012},
  timestamp    = {Mon, 13 Mar 2017 16:29:04 +0100},
  biburl       = {https://dblp.org/rec/series/wsscs/EhrigBO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}