4 results on '"Pierre Wolper"'
Search Results
2. On (Omega-)Regular Model Checking
Catalog
Books, media, physical & digital resources
3. An Effective Decision Procedure for Linear Arithmetic with Integer and Real Variables
4. Checking Properties within Fairness and Behavior Abstractions
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.