BibTeX record conf/iiwas/CacciagranoCCTV08

download as .bib file

@inproceedings{DBLP:conf/iiwas/CacciagranoCCTV08,
  author    = {Diletta Cacciagrano and
               Flavio Corradini and
               Rosario Culmone and
               Luca Tesei and
               Leonardo Vito},
  title     = {A model-prover for constrained dynamic conversations},
  booktitle = {iiWAS'2008 - The Tenth International Conference on Information Integration
               and Web-based Applications Services, 24-26 November 2008, Linz, Austria},
  pages     = {630--633},
  year      = {2008},
  crossref  = {DBLP:conf/iiwas/2008},
  url       = {https://doi.org/10.1145/1497308.1497428},
  doi       = {10.1145/1497308.1497428},
  timestamp = {Tue, 06 Nov 2018 16:58:39 +0100},
  biburl    = {https://dblp.org/rec/conf/iiwas/CacciagranoCCTV08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iiwas/2008,
  editor    = {Gabriele Kotsis and
               David Taniar and
               Eric Pardede and
               Ismail Khalil Ibrahim},
  title     = {iiWAS'2008 - The Tenth International Conference on Information Integration
               and Web-based Applications Services, 24-26 November 2008, Linz, Austria},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-349-5},
  timestamp = {Tue, 30 Nov 2021 11:10:23 +0100},
  biburl    = {https://dblp.org/rec/conf/iiwas/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics