Automata games for multiple-model checking

File Description SizeFormat 
automata-games-multiple-views.pdf221.44 kBAdobe PDFDownload
Title: Automata games for multiple-model checking
Author(s): Hussain A
Huth M
Item Type: Journal Article
Publication Date: 12-May-2006
Citation: Electronic Notes in Theoretical Computer Science Vol.( 155 ) No.( ) pp 401 - 421
Publisher Link:
Start Page: 401
End Page: 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
Volume: 155
Appears in Collections:Quantitative Analysis and Decision Science

Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons