Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Siobhán North
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Symbolic Model Checker for ACTL
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
Mc3: A Steady-State Model and Constraint Consistency Checker for Biochemical Networks
BMC Systems Biology
Molecular Biology
Applied Mathematics
Structural Biology
Simulation
Computer Science Applications
Modeling
Verifying Networked Programs Using a Model Checker Extension
