DBLP Record 'conf/vveis/AkhlakiTTM06'

BibTeX

@inproceedings{DBLP:conf/vveis/AkhlakiTTM06,
  author    = {Kawtar Benghazi Akhlaki and
               Manuel I. Capel Tu{\~n}{\'o}n and
               Juan Antonio Holgado Terriza and
               Luis E. Mendoza Morales},
  title     = {Formal Specification of Real-Time Systems by Transformation
               of UML-RT Design Models},
  booktitle = {MSVVEIS},
  year      = {2006},
  pages     = {16-25},
  crossref  = {DBLP:conf/vveis/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2006,
  editor    = {Joseph Barjis and
               Ulrich Ultes-Nitsche and
               Juan Carlos Augusto},
  title     = {Modelling, Simulation, Verification and Validation of Enterprise
               Information Systems, Proceedings of the 4th International
               Workshop on Modelling, Simulation, Verification and Validation
               of Enterprise Information Systems, MSVVEIS 2006, In conjunction
               with ICEIS 2006, Paphos, Cyprus, May 2006},
  booktitle = {MSVVEIS},
  publisher = {INSTICC Press},
  year      = {2006},
  isbn      = {978-972-8865-49-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}