Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Vaglini
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Related publications
Verification, Model Checking and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification, Model Checking, and Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstract Regular Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Discovery of SOA Patterns via Model Checking
Partial-Order Reduction and Trail Improvement in Directed Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Managing Process Model Complexity via Abstract Syntax Modifications
IEEE Transactions on Industrial Informatics
Control
Systems Engineering
Information Systems
Electronic Engineering
Computer Science Applications
Electrical