Search results
Software & Systems Modeling > 2019 > 18 > 1 > 473-498
Information Processing Letters > 2016 > 116 > 6 > 409-415
Lecture Notes in Computer Science > Computer Aided Verification > Microprocessor Verification, Cache Coherence > 411-422
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 115-132
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 561-591
Journal of Automated Reasoning > 2016 > 56 > 3 > 221-259
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2015 > 34 > 1 > 150 - 154
IEEE Transactions on Systems, Man, and Cybernetics: Systems > 2013 > 43 > 3 > 488 - 503
Science of Computer Programming > 2012 > 77 > 4 > 444-479
Formal Aspects of Computing > 2012 > 24 > 1 > 27-44
Formal Aspects of Computing > 2011 > 23 > 5 > 607-626
2010 2nd International Conference on Computer Engineering and Technology > 2 > V2-54 - V2-56
Formal Methods in System Design > 2010 > 36 > 2 > 148-166