DBLP Record 'conf/vveis/YagueAGLS04'

BibTeX

@inproceedings{DBLP:conf/vveis/YagueAGLS04,
  author    = {Agust\'{\i}n Yag{\"u}e and
               Pedro Pablo Alarc{\'o}n and
               Juan Garbajosa and
               Alexei Lisounkin and
               Gerhard Schreck},
  title     = {Construction of Verified Models for Systems Construction
               of Verified Models for Systems Represented as Networks},
  booktitle = {VVEIS},
  year      = {2004},
  pages     = {44-49},
  crossref  = {DBLP:conf/vveis/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2004,
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {Verification and Validation of Enterprise Information Systems,
               Proceedings of the 2nd International Workshop on Verification
               and Validation of Enterprise Information Systems, VVEIS
               2004, In conjunction with ICEIS 2004, Porto, Portugal, April
               2004},
  booktitle = {VVEIS},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-03-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}