Symbolic execution of LOTOS specifications

E.H. Eertink, D. Wolz

Research output: Contribution to journal › Article › Professional

Keywords

@article{e9c13723e5774032b8d60fca2e6e07e6,

title = "Symbolic execution of LOTOS specifications",

keywords = "METIS-121824",

author = "E.H. Eertink and D. Wolz",

year = "1991",

language = "Undefined",

volume = "1",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "47",

}