Symbolic Model Checking for Distributed Real-Time Systems

☆ Save

Farn Wang,Aloysius K. Mok,E. Allen Emerson

FME

published 1st of January, 1993

Comments 0

No comments yet. Be the first to say something about this.

Looking for a structured thread — a question, a reproduction problem, a benchmark result? Start a discussion instead.

Read the paper

Details

HuggingPeers ID: ID hpp-C0w8oEnvGit
Publication: FME
Published: 1st of January, 1993

Provenance 1

Source	ID	Citations
DBLP	conf/fm/WangME93	—

Cite this paper

@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  -