Search results for: Rongjie Yan
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Real-Time Systems > 272-287
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 466-471
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 453-458
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 5. Verification > 196-210
Software & Systems Modeling > 2016 > 15 > 2 > 427-451
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2013 > 32 > 12 > 1920 - 1933
Formal Methods in Computer Aided Design > 257 - 256