Formal Development of NoC Systems in B - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Leonidas Tsiopoulos, Marina A. Waldén. Formal Development of NoC Systems in B. Nord. J. Comput., 13(1-2):127-145, 2006.

@article{TsiopoulosW06,
  title = {Formal Development of NoC Systems in B},
  author = {Leonidas Tsiopoulos and Marina A. Waldén},
  year = {2006},
  researchr = {https://researchr.org/publication/TsiopoulosW06},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {13},
  number = {1-2},
  pages = {127-145},
}

runs on WebDSL