LocModGen - Model Generation by Local Search

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice - Duration: 1 Jan 2005 → …

Conference	12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice
Period	1/01/05 → …

Cite this

@conference{c21757180c5242bd83778ed8e5efdf26,

title = "LocModGen - Model Generation by Local Search",

author = "Manfred Kerber and D Berry and A Bundy and J Fleuriot",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice ; Conference date: 01-01-2005",

}