Linearization of μ-CRL specifications. Extended abstract

Research output: Contribution to conference › Paper

100 Downloads (Pure)

Original language	Undefined
Publication status	Published - 2002
Event	3rd International Workshop on Verification and Computational Logic (VCL2002) - Southampton, UK Duration: 1 Jan 2002 → 1 Jan 2002

Workshop	3rd International Workshop on Verification and Computational Logic (VCL2002)
Period	1/01/02 → 1/01/02

Keywords

@conference{3cd73849e1ca4587964d994a688bed13,

title = "Linearization of μ-CRL specifications. Extended abstract",

keywords = "FMT-PA: PROCESS ALGEBRAS, IR-66287, EWI-6532, FMT-TOOLS",

author = "Y.S. Usenko and M Leuschel and U. Ultes-Nitsche",

year = "2002",

language = "Undefined",

note = "3rd International Workshop on Verification and Computational Logic (VCL2002) ; Conference date: 01-01-2002 Through 01-01-2002",

}