Model-checking the Preservation of Temporal Properties upon Feature Integration.  CONCUR Workshop AVoCS'04

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	311-324
Number of pages	14
Publication status	Published - 1 Jan 2005
Event	Electronic Notes in Computer Science, 23 May 2005 - Duration: 1 Jan 2005 → …

Conference	Electronic Notes in Computer Science, 23 May 2005
Period	1/01/05 → …

Cite this

@conference{ac907e1f2bc443feb80c4dd669aa3486,

title = "Model-checking the Preservation of Temporal Properties upon Feature Integration. CONCUR Workshop AVoCS'04",

author = "Dimitar Guelev and Mark Ryan and P-Y Schobbens",

year = "2005",

month = jan,

day = "1",

language = "English",

pages = "311--324",

note = "Electronic Notes in Computer Science, 23 May 2005 ; Conference date: 01-01-2005",

}