Symbolic executions of LOTOS Specifications

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

Original language	Undefined
Title of host publication	Forte '92: Proceedings of the 5th International Conference on Formal Description Techniques
Place of Publication	Perros-Guirec
Pages	-
Number of pages	16
Publication status	Published - 17 Oct 1992

Keywords

Symbolic execution of LOTOS specifications
Eertink, E. H. & Wolz, D., 1991, Enschede: University of Twente. 19 p. (Memoranda informatica; no. 91-47)
Research output: Book/Report › Report › Professional

@inproceedings{2e33274f6a0c446a96287b090fddde0f,

title = "Symbolic executions of LOTOS Specifications",

keywords = "METIS-119475",

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

year = "1992",

month = oct,

day = "17",

language = "Undefined",

pages = "--",

booktitle = "Forte '92: Proceedings of the 5th International Conference on Formal Description Techniques",

}