CSP + Clocks: A Process Algebra for Timed Automata.   Technical Report DSSE-TR-2003-2

Stefano Cattani, Marta Kwiatkowska, M Leuschel, S Gruner, SL Presti

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	50-63
Number of pages	14
Publication status	Published - 1 Jan 2003
Event	3rd Workshop on Automated Verification of Critical Systems - Duration: 1 Jan 2003 → …

Conference	3rd Workshop on Automated Verification of Critical Systems
Period	1/01/03 → …

Cite this

@conference{421ee0391a46441e847a28398695b6f3,

title = "CSP + Clocks: A Process Algebra for Timed Automata. Technical Report DSSE-TR-2003-2",

author = "Stefano Cattani and Marta Kwiatkowska and M Leuschel and S Gruner and SL Presti",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "50--63",

note = "3rd Workshop on Automated Verification of Critical Systems ; Conference date: 01-01-2003",

}