Linearization of MUCRL specifications. Extended abstract

Y.S. Usenko

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

Original language	Undefined
Title of host publication	3rd International Workshop on Verification and Computational Logic (VCL2002)
Editors	M Leuschel, U Ultes-Nietsche
Place of Publication	Southhampton
Publisher	University of Southampton
Pages	-
Publication status	Published - 2002

Keywords

@inproceedings{d965acea0d6d49408a79fcf6250a9fab,

title = "Linearization of MUCRL specifications. Extended abstract",

keywords = "METIS-209587",

author = "Y.S. Usenko",

year = "2002",

language = "Undefined",

publisher = "University of Southampton",

number = "DSSE-TR",

pages = "--",

editor = "M Leuschel and U Ultes-Nietsche",

booktitle = "3rd International Workshop on Verification and Computational Logic (VCL2002)",

address = "United Kingdom",

}