Abstraction-refinement for game-based model checking

A Dimovski, Dan Ghica, R Lazic, Dan Ghica, G McCusker

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	Games for Logic and Programming Languages (GALOP 2005) (part of ETAPS Conference 2005) - Duration: 1 Jan 2005 → …

Conference	Games for Logic and Programming Languages (GALOP 2005) (part of ETAPS Conference 2005)
Period	1/01/05 → …

Cite this

@conference{1c3df797873d484f918be53456a76996,

title = "Abstraction-refinement for game-based model checking",

author = "A Dimovski and Dan Ghica and R Lazic and Dan Ghica and G McCusker",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "Games for Logic and Programming Languages (GALOP 2005) (part of ETAPS Conference 2005) ; Conference date: 01-01-2005",

}