Spiral


 

Files in This Item:

File Description SizeFormat
Some current topics in model checking.pdf182.02 kBAdobe PDFView/Open
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
URI: http://hdl.handle.net/10044/1/811
Publisher Link: http://dx.doi.org/10.1007/s10009-006-0021-y
ISSN: 1433-2779
Start Page: 25
End Page: 36
Copyright Statement: © Springer-Verlag 2006. The original publication is available at www.springerlink.com
URI: http://hdl.handle.net/10044/1/811
Volume: 9
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/811

This item is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

CC

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