Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. Fitzgerald, J., Bryans, J., Greathead, D., Jones, C., & Payne, R. In Boca, P., Bowen, J., & Larsen, P., editors, Proc. BCS-FACS Workshop on Formal Methods in Industry, of Electronic Workshops in Computing, 2008. British Computer Society.
bibtex   
@INPROCEEDINGS{Fitzgerald&08d,
  KEY           = "Fitzgerald\&08d",
  AUTHOR        = "J.S. Fitzgerald and J.W. Bryans and D. Greathead and C.B. Jones and R. Payne",
  TITLE         = "{Animation-based Validation of a Formal Model of Dynamic Virtual Organisations}",
  BOOKTITLE     = "{Proc. BCS-FACS Workshop on Formal Methods in Industry}",
  EDITOR        = "P. Boca and J.P. Bowen and P.G. Larsen",
  YEAR          = "2008",
  series        = {Electronic Workshops in Computing},
  PUBLISHER     = "{British Computer Society}"
  }

%G VDM TUTOR FORMAL OVERTURE
Downloads: 0