Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Fantechi
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Model Checking the Biological Model of Membrane Computing With Probabilistic Symbolic Model Checker by Using Two Biological Systems
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
McMas: A Model Checker for Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Markov Chain Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Specification a Model for Study of Symbolic Processualism
Interconectando Saberes
