Symbolic execution of LOTOS specifications

☆ Save

Henk Eertink,Dietmar Wolz

FORTE

published 1st of January, 1992

Abstract

No abstract available.

Read the paper

DBLP: conf/forte/EertinkW92
HTML ↗

Details

HuggingPeers ID: ID hpp-CtqV8Yn14DU
Publication: FORTE
Published: 1st of January, 1992

Provenance 1

Source	ID	Citations
DBLP	conf/forte/EertinkW92	—

Cite this paper

@article{eertink1992,
  title = {Symbolic execution of LOTOS specifications},
  author = {Henk Eertink and Dietmar Wolz},
  journal = {FORTE},
  year = {1992},
  month = {Jan},
}

Henk Eertink & Dietmar Wolz (1992). Symbolic execution of LOTOS specifications. FORTE.

Henk Eertink, and Dietmar Wolz. "Symbolic execution of LOTOS specifications." FORTE, 1992.

Henk Eertink, and Dietmar Wolz. "Symbolic execution of LOTOS specifications." FORTE (1992).

Henk Eertink and Dietmar Wolz, 1992. Symbolic execution of LOTOS specifications. FORTE.

TY  - JOUR
TI  - Symbolic execution of LOTOS specifications
AU  - Henk Eertink
AU  - Dietmar Wolz
PY  - 1992
JO  - FORTE
ER  -