Operational semantics based formal symbolic simulation

K.G.W. Goossens

Operational semantics based formal symbolic simulation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Downloads (Pure)

Original language	English
Title of host publication	Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium
Editors	L. Claesen, M. Gordon
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	487-506
ISBN (Print)	0-444-89880-8
Publication status	Published - 1992

Publication series

Name	IFIP Transactions A : Computer science and technology
Volume	20
ISSN (Print)	0926-5473

Cite this

Goossens, K. G. W. (1992). Operational semantics based formal symbolic simulation. In L. Claesen, & M. Gordon (Eds.), Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium (pp. 487-506). (IFIP Transactions A : Computer science and technology; Vol. 20). North-Holland Publishing Company.

Goossens, K.G.W. / Operational semantics based formal symbolic simulation. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium. editor / L. Claesen ; M. Gordon. Amsterdam : North-Holland Publishing Company, 1992. pp. 487-506 (IFIP Transactions A : Computer science and technology).

@inproceedings{e389d064c4ef4701b3998becdcddee7b,

title = "Operational semantics based formal symbolic simulation",

author = "K.G.W. Goossens",

year = "1992",

language = "English",

isbn = "0-444-89880-8",

series = "IFIP Transactions A : Computer science and technology",

publisher = "North-Holland Publishing Company",

pages = "487--506",

editor = "L. Claesen and M. Gordon",

booktitle = "Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium",

address = "Netherlands",

}

Goossens, KGW 1992, Operational semantics based formal symbolic simulation. in L Claesen & M Gordon (eds), Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium. IFIP Transactions A : Computer science and technology, vol. 20, North-Holland Publishing Company, Amsterdam, pp. 487-506.

Operational semantics based formal symbolic simulation. / Goossens, K.G.W.
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium. ed. / L. Claesen; M. Gordon. Amsterdam: North-Holland Publishing Company, 1992. p. 487-506 (IFIP Transactions A : Computer science and technology; Vol. 20).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Operational semantics based formal symbolic simulation

AU - Goossens, K.G.W.

PY - 1992

Y1 - 1992

M3 - Conference contribution

SN - 0-444-89880-8

T3 - IFIP Transactions A : Computer science and technology

SP - 487

EP - 506

BT - Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium

A2 - Claesen, L.

A2 - Gordon, M.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

Goossens KGW. Operational semantics based formal symbolic simulation. In Claesen L, Gordon M, editors, Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium. Amsterdam: North-Holland Publishing Company. 1992. p. 487-506. (IFIP Transactions A : Computer science and technology).