BibTeX record conf/sysose/WoodcockCFLMP12

• > Home > conf/sysose/WoodcockCFLMP12

@inproceedings{DBLP:conf/sysose/WoodcockCFLMP12,
  author       = {Jim Woodcock and
                  Ana Cavalcanti and
                  John S. Fitzgerald and
                  Peter Gorm Larsen and
                  Alvaro Miyazawa and
                  Simon Perry},
  title        = {Features of {CML:} {A} formal modelling language for Systems of Systems},
  booktitle    = {7th International Conference on System of Systems Engineering, SoSE
                  2012, Genova, Italy, July 16-19, 2012},
  pages        = {445--450},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SYSoSE.2012.6384144},
  doi          = {10.1109/SYSOSE.2012.6384144},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/sysose/WoodcockCFLMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}