Some current issues in model checking

File Description SizeFormat 
Some current topics in model checking.pdf182.02 kBAdobe PDFDownload
Title: Some current issues in model checking
Author(s): Huth M
Item Type: Journal Article
Issue Date: 2007
Citation: Int J Softw Tools Technol Transfer Vol.( 9 ) No.( 1 ) pp 25 - 36
Publisher Link:
ISSN: 1433-2779
Start Page: 25
End Page: 36
Copyright Statement: © Springer-Verlag 2006. The original publication is available at
Volume: 9
Appears in Collections:Quantitative Analysis and Decision Science

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

Creative Commons