ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Logics for Specifying Concurrent Information Systems.

Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker: Logics for Specifying Concurrent Information Systems. Logics for Databases and Information Systems 1998: 167-198
@inproceedings{DBLP:conf/dagstuhl/EhrichCSD98,
  author    = {Hans-Dieter Ehrich and
               Carlos Caleiro and
               Am\'{\i}lcar Sernadas and
               Grit Denker},
  editor    = {Jan Chomicki and
               Gunter Saake},
  title     = {Logics for Specifying Concurrent Information Systems},
  booktitle = {Logics for Databases and Information Systems (the book grow out
               of the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
               1995)},
  publisher = {Kluwer},
  year      = {1998},
  pages     = {167-198},
  ee        = {db/conf/dagstuhl/EhrichCSD98.html},
  crossref  = {DBLP:books/kl/ChomickiS98},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 5 Issue 1, SSD, DPD, SIGIR Forum, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX BibTeX

Referenced by

  1. Antonio Grau, Juliana Küster Filipe, Mojgan Kowsari, Silke Eckstein, Ralf Pinger, Hans-Dieter Ehrich: The TROLL Approach to Conceptual Modeling: Syntax, Semantics and Tools. ER 1998: 277-290
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
Logics for Databases and Information Systems: Copyright © by Kluwer Academic Publishers
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:04:49 2009