Symbolic Model Checking for Distributed Real-Time Systems

@article{wang1993,
  title = {Symbolic Model Checking for Distributed Real-Time Systems},
  author = {Farn Wang and Aloysius K. Mok and E. Allen Emerson},
  journal = {FME},
  year = {1993},
  month = {Jan},
  doi = {10.1007/bfb0024671},
  url = {https://doi.org/10.1007/bfb0024671},
}

Farn Wang et al. (1993). Symbolic Model Checking for Distributed Real-Time Systems. FME. https://doi.org/10.1007/bfb0024671

Farn Wang, et al.. "Symbolic Model Checking for Distributed Real-Time Systems." FME, 1993, https://doi.org/10.1007/bfb0024671.

Farn Wang, et al.. "Symbolic Model Checking for Distributed Real-Time Systems." FME (1993). https://doi.org/10.1007/bfb0024671

Farn Wang et al., 1993. Symbolic Model Checking for Distributed Real-Time Systems. FME. Available at: <https://doi.org/10.1007/bfb0024671>.

TY  - JOUR
TI  - Symbolic Model Checking for Distributed Real-Time Systems
AU  - Farn Wang
AU  - Aloysius K. Mok
AU  - E. Allen Emerson
PY  - 1993
JO  - FME
DO  - 10.1007/bfb0024671
UR  - https://doi.org/10.1007/bfb0024671
ER  -