STAR: A Software Tool for Validating Concurrent Systems (bibtex)

by Manuel Silva and Javier Martínez

Reference:

STAR: A Software Tool for Validating Concurrent Systems (Manuel Silva and Javier Martínez), In Proc. Programming - KTSG Technical Week., SESA-RC, 1985.

Bibtex Entry:

@InProceedings{Silva1985,
  author    = {Manuel Silva and Javier Mart\'{\i}nez and Jos{\'{e}}-Manuel Colom},
  booktitle = {Proc. Programming - {KTSG} Technical Week.},
  title     = {{STAR}: A Software Tool for Validating Concurrent Systems},
  year      = {1985},
  address   = {Madrid, Espa\~na},
  month     = {September},
  publisher = {SESA-RC},
  groups    = {silarri:6},
  keywords  = {Petri Net Theory, Petri Net Analysis, Software Tools},
}