Branch testing of concurrent programs using Petri net models - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Hong-Fa Ho, Gen-Huey Chen, Te-Son Kuo. Branch testing of concurrent programs using Petri net models. Comput. Syst. Sci. Eng., 5(2):116-125, 1990.

@article{HoCK90,
  title = {Branch testing of concurrent programs using Petri net models},
  author = {Hong-Fa Ho and Gen-Huey Chen and Te-Son Kuo},
  year = {1990},
  tags = {testing},
  researchr = {https://researchr.org/publication/HoCK90},
  cites = {0},
  citedby = {0},
  journal = {Comput. Syst. Sci. Eng.},
  volume = {5},
  number = {2},
  pages = {116-125},
}

runs on WebDSL