Independence-Friendly Modal Logic and True Concurrency - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Julian C. Bradfield, Sibylle B. Fröschle. Independence-Friendly Modal Logic and True Concurrency. Nord. J. Comput., 9(1):102-117, 2002.

@article{BradfieldF02,
  title = {Independence-Friendly Modal Logic and True Concurrency},
  author = {Julian C. Bradfield and Sibylle B. Fröschle},
  year = {2002},
  tags = {modal logic, C++, logic},
  researchr = {https://researchr.org/publication/BradfieldF02},
  cites = {0},
  citedby = {0},
  journal = {Nord. J. Comput.},
  volume = {9},
  number = {1},
  pages = {102-117},
}

runs on WebDSL