Kategória: Jazyk: Všetky jazyky Anglický Slovenský Český Zoradiť podľa: najnovšie autor A – Z autor Z – A názov A – Z názov Z – A zobraziť iba dostupné zobraziť iba použité reset filtrov +
1 2 3 > » 25 Years of Model Checking Grumberg 2008 Formal Equivalence Checking and Design Debugging Shi-Yu Huang 1998 Computer Aided Verification Brinksma 2002 Verification, Model Checking, and Abstract Interpretation Cousot 2005 Model Checking and Artificial Intelligence Edelkamp 2007 New Methods of Concurrent Checking Goessel 2008 Equivalence Checking of Digital Circuits Molitor 2004 Checkpoint Controls and Cancer 2004 Checkpoint Controls and Cancer 2004 Unfoldings Esparza 2008 Model Checking Software Godefroid 2005 Verification, Model Checking, and Abstract Interpretation Steffen 2004 Abstraction Refinement for Large Scale Model Checking Wang 2006 Model Checking Software Bosnacki 2007 Verification, Model Checking, and Abstract Interpretation Cook 2007 Verification, Model Checking, and Abstract Interpretation Emerson 2006 Tools and Algorithms for the Construction and Analysis of Systems Graf 2000 Tools and Algorithms for the Construction and Analysis of Systems Grumberg 2007 387 knižných titulov 1 2 3 > »