|This item's full text has been downloaded 27 times in the last 11 months.|
Files in This Item:
|Title:||Automata games for multiple-model checking|
|Item Type:||Journal Article|
|Citation:||Electronic Notes in Theoretical Computer Science Vol.( 155 ) No.( ) pp 401 - 421|
|Copyright Statement:||© 2006 Elsevier B.V. This is the author’s version of a work that was accepted for publication in Electronic Notes in Theoretical Computer Science. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Electronic Notes in Theoretical Computer Science, volume 155 (May 2006). doi:10.1016/j.entcs.2005.11.067|
|Appears in Collections:||Quantitative Analysis and Decision Science|
Please use this identifier to cite or link to this item: http://hdl.handle.net/10044/1/805
This item is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.
Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.
Not all publications are available to view. For a full list of publications by a specific author please search the College Directory