Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luca Alfaro
Temporal Verification by Diagram Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Euler Graph Transformations for Euler Diagram Layout
Verification of Temporal Properties
On Temporal Program Verification Rules
RAIRO. Informatique théorique
Verification of Basic Block Schedules Using RTL Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Temporal Patterns for Document Verification
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Verification of Model Transformations: A Case Study With BPEL
Transformation Algorithm From Ladder Diagram to SFC Using Temporal Logic
IEEJ Transactions on Industry Applications
Electronic Engineering
Industrial
Electrical
Manufacturing Engineering
