BibTeX record conf/iceis/CapelH05

download as .bib file

@inproceedings{DBLP:conf/iceis/CapelH05,
  author       = {Manuel I. Capel and
                  Juan Antonio Holgado Terriza},
  editor       = {Chin{-}Sheng Chen and
                  Joaquim Filipe and
                  Isabel Seruca and
                  Jos{\'{e}} Cordeiro},
  title        = {Transforming {SA/RT} Graphical Specifications into {CSP+T} Formalism
                  - Obtaining a Formal Specification from Semi-Formal {SA/RT} Essential
                  Models},
  booktitle    = {{ICEIS} 2005, Proceedings of the Seventh International Conference
                  on Enterprise Information Systems, Miami, USA, May 25-28, 2005},
  pages        = {65--72},
  year         = {2005},
  timestamp    = {Thu, 02 Feb 2017 12:53:54 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/CapelH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics