Search results for: Gerardo Schneider
Formal Methods in System Design > 2019 > 55 > 1 > 72-72
Formal Methods in System Design > 2019 > 54 > 3 > 279-335
Journal of Logical and Algebraic Methods in Programming > 2017 > 91 > C > 33-59
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 125-157
Formal Methods in System Design > 2017 > 51 > 1 > 200-265
Artificial Intelligence and Law > 2016 > 24 > 3 > 203-243
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods II > 110-121
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 82-97
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 282-293
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Model Checking > 168-182
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Components and Services > 174-189
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 200-214
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – I > 341-345
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 226-240
Lecture Notes in Computer Science > FM 2005: Formal Methods > Resource Analysis and Verification > 91-106