BibTeX record journals/entcs/CuboSCPP08

download as .bib file

@inproceedings{DBLP:journals/entcs/CuboSCPP08,
  author       = {Javier Cubo and
                  Gwen Sala{\"{u}}n and
                  Carlos Canal and
                  Ernesto Pimentel and
                  Pascal Poizat},
  title        = {A Model-Based Approach to the Verification and Adaptation of {WF/.NET}
                  Components},
  booktitle    = {{FACS}},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {215},
  pages        = {39--55},
  publisher    = {Elsevier},
  year         = {2007}
}

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.