BibTeX record conf/csac/CaroGAL04

download as .bib file

@inproceedings{DBLP:conf/csac/CaroGAL04,
  author       = {Jos{\'{e}} Luis Caro and
                  Antonio Guevara and
                  Andr{\'{e}}s Aguayo and
                  Jos{\'{e}} uis. Leiva},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Communication based workflow loop formalization using Temporal Logic
                  of Actions {(TLA)}},
  booktitle    = {Computer Supported Activity Coordination, Proceedings of the 1st International
                  Workshop on Computer Supported Activity Coordination, {CSAC} 2004,
                  In conjunction with {ICEIS} 2004, Porto, Portugal, April 2004},
  pages        = {233--238},
  publisher    = {{INSTICC} Press},
  year         = {2004},
  timestamp    = {Tue, 05 Nov 2013 12:21:34 +0100},
  biburl       = {https://dblp.org/rec/conf/csac/CaroGAL04.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.