English Deutsch Français 简体中文 繁體中文
Book123, Download eBooks for Free - Anytime! Submit your article
Unfoldings



 
 
 
 

Unfoldings


Results Unfoldings Ebook : 1 to 1 of 1
 
Unfoldings

Free Download, Unlimited Speed. Download now at an incredible speed!

Sponsored links


Unfoldings: A Partial-Order Approach to Model Checking Unfoldings: A Partial-Order Approach to Model Checking
Javier Esparza, Keijo Heljanko “Unfoldings: A Partial-Order Approach to Model Checking " Springer; 2008-05; ISBN: 3540774254; PDF; 172 pages; 1,5 Mb Model checking is a prominent technique used in the hardware and software industrie ...  
Tags : Checking   Approach   Model   Unfoldings   , Posted on 2010-03-15
 



Sign In | Not yet a member?