Game-Based Safety Checking with Mage

Adam Bakewell, Dan Ghica

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	85-87
Number of pages	3
Publication status	Published - 1 Sept 2007
Event	6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) - Duration: 1 Sept 2007 → …

Conference	6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007)
Period	1/09/07 → …

Cite this

@conference{4a98fc1a0b934fe69b3a97fd57475a64,

title = "Game-Based Safety Checking with Mage",

author = "Adam Bakewell and Dan Ghica",

year = "2007",

month = sep,

day = "1",

language = "English",

pages = "85--87",

note = "6th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2007) ; Conference date: 01-09-2007",

}