Logical Analysis of Feature Integration

Dimitar Guelev, Mark Ryan, Gethin Norman

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	CSR-02-6
Publication status	Published - 1 Jan 2002
Event	Second Workshop on Automatic Verification of Critical Systems (AVoCS) - The University of Birmingham Duration: 1 Jan 2002 → …

Conference	Second Workshop on Automatic Verification of Critical Systems (AVoCS)
City	The University of Birmingham
Period	1/01/02 → …

Cite this

@conference{2354fa5ba1ad46278aa4faa7a6436a7f,

title = "Logical Analysis of Feature Integration",

author = "Dimitar Guelev and Mark Ryan and Gethin Norman",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "CSR--02--6",

note = "Second Workshop on Automatic Verification of Critical Systems (AVoCS) ; Conference date: 01-01-2002",

}