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

}